Dynamically increasing the scope of code motions during the high-level synthesis of digital circuits
2003 ◽
Vol 150
(5)
◽
pp. 330
◽
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
◽