The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
An Automaton Model for Scheduling Constraints in Synchronous Machines
IEEE Transactions on Computers
MAHA: a program for datapath synthesis
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench
Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench
IEEE Design & Test
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
A tree-based scheduling algorithm for control-dominated circuits
DAC '93 Proceedings of the 30th international Design Automation Conference
Scheduling of behavioral VHDL by retiming techniques
EURO-DAC '94 Proceedings of the conference on European design automation
An Automaton Model for Scheduling Constraints in Synchronous Machines
IEEE Transactions on Computers
Register minimization beyond sharing among variables
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Behavioral synthesis methodology for HDL-based specification and validation
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Storage optimization by replacing some flip-flops with latches
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Scheduling a minimum dependence in FSMs
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Wavesched: a novel scheduling technique for control-flow intensive behavioral descriptions
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Performance analysis of a system of communicating processes
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Redundancy Removal during High-Level Synthesis Using Scheduling Don‘t-Cares
Journal of Electronic Testing: Theory and Applications
Hardware-software codesign of embedded systems
Readings in hardware/software co-design
Clairvoyant: a synthesis system for production-based specification
Readings in hardware/software co-design
Co-synthesis and co-simulation of control-dominated embedded systems
Readings in hardware/software co-design
Synthesis of low-power selectively-clocked systems from high-level specification
ISSS '96 Proceedings of the 9th international symposium on System synthesis
A methodology for control-dominated systems codesign
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
A low-power scheduling tool for system on a chip designs
WSEAS Transactions on Circuits and Systems
Performance-driven synthesis in controller-datapath systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Clairvoyant: a synthesis system for production-based specification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
| Hi-index | 0.00 |