A general consistency technique for increasing the controllability of high level synthesis tools

Authors:
Lawrence F. Arnstein;Don Thomas
Affiliations:
Carnegie Mellon University, ECE Department;Carnegie Mellon University, ECE Department
Venue:
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Year:
1993

Citing 3
Cited 3

The combination of scheduling, allocation, and mapping in a single algorithm

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
A Sufficient Condition for Backtrack-Free Search

Journal of the ACM (JACM)
High-level synthesis of digital circuits using global scheduling and binding algorithms

High-level synthesis of digital circuits using global scheduling and binding algorithms

The attributed-behavior abstraction and synthesis tools

DAC '94 Proceedings of the 31st annual Design Automation Conference
Applications of attributed-behavior synthesis

ISSS '94 Proceedings of the 7th international symposium on High-level synthesis
Reliable System Specification for Self-Checking Data-Paths

Proceedings of the conference on Design, Automation and Test in Europe - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract