SOCRATES: A system for automatically synthesizing and optimizing combinational logic
25 years of DAC Papers on Twenty-five years of electronic design automation
A Different View: Hardware Synthesis from SystemC is a Maturing Technology
IEEE Design & Test
Generating FPGA-Accelerated DFT Libraries
FCCM '07 Proceedings of the 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines
High-Level Synthesis: Past, Present, and Future
IEEE Design & Test
Instruction set processor specifications (ISPS): the notation and its applications
IEEE Transactions on Computers
Chisel: constructing hardware in a Scala embedded language
Proceedings of the 49th Annual Design Automation Conference
An industrial view of electronic design automation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Convolution engine: balancing efficiency & flexibility in specialized computing
Proceedings of the 40th Annual International Symposium on Computer Architecture
Hi-index | 0.00 |
Technology scaling has created a catch-22: technology now can do almost anything we want, but the NRE design costs are so high, that almost no one can afford to use it. Our current situation is reminiscent of the 1980's, when only a few companies could afford to produce custom silicon. Synthesis and placement and routing tools changed this, by providing modular tools with well defined interfaces that codified designer knowledge about the physical design of chips. Now we need a new set of tools that can codify designer knowledge about how to construct software, hardware, and validation to again enable application designers to produce chips. Researchers are developing methodologies that allow users to create hardware constructors, or generators. These include Genesis2, which extends SystemVerilog and enables the designer to encode hierarchical system construction procedurally. To demonstrate some of the capabilities that these languages and tools provide, we describe FPGen, a complete floating point generator written in Genesis2, that also generates the needed validation collateral and hints for the backend processes.