22 search results - page 5 / 5 » Kiwi: Synthesis of FPGA Circuits from Parallel Programs |
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
103
click to vote
LCTRTS
2010
Springer
14 years 8 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...