SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
Verification of Datapath and Controller Generation Phase in High-Level Synthesis of Digital Circuits
2010 ◽
Vol 29
(3)
◽
pp. 479-492
◽
1997 ◽
Vol 28
(5)
◽
pp. 517-522
Keyword(s):
1993 ◽
pp. 207-283
◽
1992 ◽
Vol 11
(6)
◽
pp. 696-718
◽
2009 ◽
Vol E92-A
(12)
◽
pp. 3169-3179
◽