2007 search results - page 402 / 402 » Using general-purpose programming languages for FPGA design |
104
click to vote
FM
2008
Springer
14 years 11 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
114
Voted
ISCA
2012
IEEE
13 years 1 days ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...