Verification of Flow-Based Computing Systems Using Bounded Model Checking Conference

Thijssen, Sven, Singireddy, Suraj, Rashed, Muhammad Rashedul Haq et al. (2023). Verification of Flow-Based Computing Systems Using Bounded Model Checking . 2017 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 10.1109/ICCAD57390.2023.10323708

cited authors

  • Thijssen, Sven; Singireddy, Suraj; Rashed, Muhammad Rashedul Haq; Jha, Sumit Kumar; Ewetz, Rickard

authors

date/time interval

  • October 28, 2023 -

publication date

  • January 1, 2023

published in

keywords

  • CHALLENGES
  • COMPACT CROSSBARS
  • Computer Science
  • Computer Science, Theory & Methods
  • Engineering
  • Engineering, Electrical & Electronic
  • Engineering, Manufacturing
  • Science & Technology
  • Technology

Location

  • CA, San Francisco

Digital Object Identifier (DOI)

Conference

  • 42nd IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

publisher

  • IEEE