Ku, K. and Micheli, G. D. 1990. HardwareC - A language for Hardware design version 2.0. Technical Report No. CSL-TR-90-419 (April), Standford University. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Hardware Software Synthesis of Formal Specifications.. - Carchiolo, Malgeri.. (Correct)
....on FSM that permits (among other things) the hierarchical decomposition of the specification, the specification of time constraints and concurrency [Drusinski and Har el 1989] Finally, several high level textual languages have been used in CoDesign, e.g. C x [Ernst and J. 1993a] Hardware C [Ku and Micheli 1990], Verilog [Sternheim et al. 1993] and Promela [Wenban et al. 1993] The second step consists of the validation of the specification; simulation is still the most widely used approach. Many tecniques have been proposed in literature; they differ in their method of coupling hardware and software ....
Ku, K. and Micheli, G. D. 1990. HardwareC - A language for Hardware design version 2.0. Technical Report No. CSL-TR-90-419 (April), Standford University.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC