9 search results - page 2 / 2 » Synthesis of synchronous assertions with guarded atomic acti... |
MEMOCODE
2010
IEEE
13 years 3 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
IFIP
2010
Springer
13 years 17 days ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...
ISSTA
2009
ACM
14 years 7 days ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
MEMOCODE
2007
IEEE
14 years 16 hour ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...