Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
REAL: a program for REgister ALlocation
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Synthesis using path-based scheduling: algorithms and exercises
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Scheduling under resource constraints and module assignment
Integration, the VLSI Journal
Industrial extensions to university high level synthesis tools: Making it work in the real world
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Allocation algorithms based on path analysis
Integration, the VLSI Journal - Special issue on high-level synthesis
ISIS: a system for performance driven resource sharing
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Control optimization in high-level synthesis using behavioral don't cares
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Verity—a formal verification program for custom CMOS circuits
IBM Journal of Research and Development - Special issue: IBM CMOS technology
Bridge: a versatile behavioral synthesis system
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
MAHA: a program for datapath synthesis
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
High-Level Synthesis for Real-Time Digital Signal Processing
High-Level Synthesis for Real-Time Digital Signal Processing
Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench
Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
LSS: a system for production logic synthesis
IBM Journal of Research and Development
Methods Used in an Automatic Logic Design Generator (ALERT)
IEEE Transactions on Computers
Productivity issues in high-level design: are tools solving the real problems?
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Efficient use of large don't cares in high-level and logic synthesis
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
BooleDozer: logic synthesis for ASICs
IBM Journal of Research and Development
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Design methodology for the S/390 parallel enterprise server G4 microprocessors
IBM Journal of Research and Development - Special issue: IBM S/390 G3 and G4
Observable Time Windows: Verifying High-Level Synthesis Results
IEEE Design & Test
Observable Time Windows: Verifying the Results of High-Level Synthesis
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Synthesis of low-power selectively-clocked systems from high-level specification
ISSS '96 Proceedings of the 9th international symposium on System synthesis
ACM Transactions on Architecture and Code Optimization (TACO)
| Hi-index | 0.00 |