The high-level synthesis of digital systems MC McFarland, AC Parker, R Camposano Proceedings of the IEEE 78 (2), 301-318, 1990 | 908 | 1990 |
Better verification through symmetry C Norris Ip, DL Dill Formal methods in system design 9, 41-75, 1996 | 805* | 1996 |
High-level VLSI synthesis R Camposano, W Wolf Springer Science & Business Media, 2012 | 566* | 2012 |
Path-based scheduling for synthesis R Camposano IEEE transactions on computer-Aided Design of Integrated Circuits and …, 1991 | 473 | 1991 |
Tutorial on high-level synthesis MC McFarland, AC Parker, R Camposano DAC, 330-336, 1988 | 449 | 1988 |
High-level VLSI synthesis R Camposano, W Wolf Springer Science & Business Media, 2012 | 369 | 2012 |
A survey of high-level synthesis systems RA Walker, R Camposano Springer Science & Business Media, 2012 | 257 | 2012 |
Synthesizing circuits from behavioural descriptions R Camposano, W Rosenstiel IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1989 | 245 | 1989 |
The Yorktown silicon compiler RK Brayton Silicon Compilation, 204-311, 1988 | 214 | 1988 |
Embedded system design R Camposano, J Wilberg Design Automation for Embedded Systems 1, 5-50, 1996 | 155 | 1996 |
An industrial view of electronic design automation D MacMillen, R Camposano, D Hill, TW Williams IEEE transactions on computer-aided design of integrated circuits and …, 2000 | 144 | 2000 |
From behavior to structure: High-level synthesis R Camposano IEEE design & test of computers 7 (5), 8-19, 1990 | 134 | 1990 |
VHDL as input for high-level synthesis R Camposano, LF Saunders, RM Tabet IEEE Design & Test of Computers 8 (1), 43-49, 1991 | 104 | 1991 |
VHDL as input for high-level synthesis R Camposano, LF Saunders, RM Tabet IEEE Design & Test of Computers 8 (1), 43-49, 1991 | 104 | 1991 |
Partitioning before logic synthesis R Camposano, RK Brayton Proc. ICCAD 87, 324-326, 1987 | 95 | 1987 |
Design representation for the synthesis of behavioral VHDL models R Camposano, RM Tabet IBM Thomas J. Watson Research Division, 1988 | 89 | 1988 |
Synthesis using path-based scheduling: Algorithms and exercises R Camposano, RA Bergamaschi 27th ACM/IEEE Design Automation Conference, 450-455, 1990 | 76 | 1990 |
Behavior-preserving transformations for high-level synthesis R Camposano Hardware Specification, Verification and Synthesis: Mathematical Aspects …, 2005 | 75 | 2005 |
IP Reuse in the System on a Chip Era W Savage, J Chilton, R Camposano Proceedings 13th International Symposium on System Synthesis, 2-7, 2000 | 72 | 2000 |
The IBM high-level synthesis system R Camposano, RA Bergamaschi, CE Haynes, M Payer, SM Wu High-Level VLSI Synthesis, 79-104, 1991 | 55 | 1991 |