• Publications
  • Influence
Hardware synthesis with the Bach system
We describe the Bach hardware synthesis system from parallel algorithms, allowing users to design, verify and synthesize large and complex circuits. Each is a working tool which is already being usedExpand
  • 21
  • 1
A testability analysis method for register-transfer level descriptions
In this paper, we propose a new testability analysis method for Register-Transfer Level (RTL) descriptions. The proposed method is based on the idea of testability analysis in terms of data-flow andExpand
  • 6
  • PDF
A scheduling method for synchronous communication in the Bach hardware compiler
In this paper, we propose a scheduling method for synchronous communication between threads in the Bach hardware compiler. In this method, all communications are extracted from a behavioral Bach-CExpand
  • 5
  • PDF
Display System of the UHD