Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis

2006 ◽  
Author(s):  
Tasuku Nishihara ◽  
Takeshi Matsumoto ◽  
Masahiro Fujita
Keyword(s):  
High Level Synthesis ◽  
Equivalence Checking ◽  
Rule Based ◽  
High Level

scholarly journals Equivalence Checking of Scheduling in High-Level Synthesis Using Deep State Sequences

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 183435-183443
Author(s):  
Jian Hu ◽  
Guanwu Wang ◽  
Guilin Chen ◽  
Xianglin Wei
Keyword(s):  
High Level Synthesis ◽  
Equivalence Checking ◽  
Deep State ◽  
High Level

Floorplan-Aware High-Level Synthesis for Generalized Distributed-Register Architectures

2009 ◽  
Vol E92-A (12) ◽  
pp. 3169-3179 ◽  
Author(s):  
Akira OHCHI ◽  
Nozomu TOGAWA ◽  
Masao YANAGISAWA ◽  
Tatsuo OHTSUKI
Keyword(s):  
High Level Synthesis ◽  
High Level

Exact and Practical Modulo Scheduling for High-Level Synthesis

2019 ◽  
Vol 12 (2) ◽  
pp. 1-26 ◽  
Author(s):  
Julian Oppermann ◽  
Melanie Reuter-Oppermann ◽  
Lukas Sommer ◽  
Andreas Koch ◽  
Oliver Sinnen
Keyword(s):  
High Level Synthesis ◽  
Modulo Scheduling ◽  
High Level
Sign in / Sign up

Export Citation Format

Share Document