BookDOI
High — Level Synthesis
About:
The article was published on 1992-01-01. It has received 665 citations till now. The article focuses on the topics: High-level synthesis.read more
Citations
More filters
Journal ArticleDOI
Bus-invert coding for low-power I/O
Mircea R. Stan,Wayne Burleson +1 more
TL;DR: In this article, the bus-invert method of coding the I/O was proposed to decrease the bus activity and thus decrease the peak power dissipation by 50% and the average power disipation by up to 25%.
Book
Lambda Calculus with Types
TL;DR: The Lambda Calculus has been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs.
Bus-invert coding for low-powerI/O
TL;DR: The bus-invert method of coding the I/O is proposed which lowers the bus activity and thus decreases theI/O peak power dissipation by 50% and the I-O average power Dissipation by up to 25%.
Journal ArticleDOI
An Introduction to High-Level Synthesis
TL;DR: The authors introduce the FSMD model, which forms the basis for synthesis, and discuss the main considerations in a high-level synthesis environment: the input description language, the internal representation, and the main synthesis tasks-allocation, scheduling, and binding.
Journal ArticleDOI
Hardware-software co-design of embedded systems
TL;DR: A historical approach is emphasized to show the relationships between well-understood design problems and the as-yet unsolved problems in co-design.