Use of change coordination in an information-rich design environment
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
CORAL II: linking behavior and structure in an IC design system
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Use of change coordination in an information-rich design environment
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
An intermediate representation for behavioral synthesis
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Timing models for high-level synthesis
EURO-DAC '92 Proceedings of the conference on European design automation
An efficient multi-view design model for real-time interactive synthesis
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Hi-index | 0.00 |
This paper presents a program named RLEXT (Register Level Exploration Tool), which allows a user to manually modify a register-level datapath design. The allowed operations are addition and deletion of components and connections. Any component not an i/o port, a register, or an addressable memory may be added or deleted. Any wire or connection of a pin to a wire may be added or deleted. The unique aspect of RLEXT is that the continued ability of the datapath to support its behavioral specifications is guaranteed: that is, if the user makes changes that would impair the datapath's ability to carry out the desired function, RLEXT will automatically repair the datapath so that it is once again able to express the specified behavior.