| The high-level synthesis of digital systems MC McFarland, AC Parker, R Camposano Proceedings of the IEEE 78 (2), 301-318, 1990 | 926 | 1990 |
| Better verification through symmetry C Norris Ip, DL Dill Formal methods in system design 9, 41-75, 1996 | 806* | 1996 |
| High-level VLSI synthesis R Camposano, W Wolf Springer Science & Business Media, 2012 | 578* | 2012 |
| Path-based scheduling for synthesis R Camposano IEEE transactions on computer-Aided Design of Integrated Circuits and …, 1991 | 484 | 1991 |
| Tutorial on high-level synthesis MC McFarland, AC Parker, R Camposano DAC, 330-336, 1988 | 453 | 1988 |
| Synthesizing circuits from behavioural descriptions R Camposano, W Rosenstiel IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1989 | 246 | 1989 |
| YORKTOWN SILICON COMPILER. R Brayton, N Brenner, CL Chen, G DeMicheli, C McMullen, RHJM Otten International Symposium on Circuits and Systems, 1985 | 217 | 1985 |
| Embedded system design R Camposano, J Wilberg Design Automation for Embedded Systems 1, 5-50, 1996 | 158 | 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 | 154 | 2000 |
| From behavior to structure: High-level synthesis R Camposano IEEE Design & Test of Computers 7 (5), 8-19, 1990 | 135 | 1990 |
| VHDL as input for high-level synthesis R Camposano, LF Saunders, RM Tabet IEEE Design & Test of Computers 8 (1), 43-49, 1991 | 105 | 1991 |
| Partitioning before logic synthesis R Camposano, RK Brayton Proc. ICCAD 87, 324-326, 1987 | 97 | 1987 |
| Design representation for the synthesis of behavioral VHDL models R Camposano, RM Tabet IBM Thomas J. Watson Research Division, 1988 | 92 | 1988 |
| Synthesis using path-based scheduling: Algorithms and exercises R Camposano, RA Bergamaschi 27th ACM/IEEE Design Automation Conference, 450-455, 1990 | 77 | 1990 |
| Behavior-preserving transformations for high-level synthesis R Camposano Hardware Specification, Verification and Synthesis: Mathematical Aspects …, 2005 | 74 | 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 | 73 | 2000 |
| The IBM high-level synthesis system R Camposano, RA Bergamaschi, CE Haynes, M Payer, SM Wu High-Level VLSI Synthesis, 79-104, 1991 | 57 | 1991 |
| CONSIDERING TIMING CONSTRAINTS IN SYNTHESIS FROM A BEHAVIOURAL DESCRIPTION. R Camposano, A Kunzmann IEEE International Conference on Computer Design, 1986 | 50 | 1986 |
| Synthesizing circuits from behavioral level specifications W Rosenstiel, R Camposano Proceedings of the 7th International Conference on Computer Hardware …, 1985 | 44 | 1985 |
| Electronic design automation for integrated circuits handbook-2 volume set L Lavagno, RF Damiano, R Camposano, G Martin, L Scheffer, SP Khatri, ... CRC Press, 2006 | 42 | 2006 |
