Show simple item record

dc.contributor.authorLiu, Gai
dc.identifier.otherbibid: 10757995
dc.description.abstractTechnology scaling, architectural innovations, and electronic design automation (EDA) are the three pillars supporting the exponential growth in computer hardware performance for the past six decades. With the traditional CMOS scaling approaching its end, there is an urgent need to explore novel techniques in the latter two aspects to sustain the long-standing trend of ever increasing computing performance and energy efficiency. This thesis studies new logic and architectural synthesis techniques that aim to significantly improve both productivity and quality for the digital hardware design. We re-examine the boundaries in the traditional EDA flow with the goals of (i) identifying and overcoming deficiencies in existing, well-established logic-level optimization methods, and (ii) raising the level of abstraction to ease architectural-level exploration for hardware specialization. A common theme in this thesis is cross-stage optimization, where the synthesis decisions at an early stage are made aware of downstream optimization in an efficient manner to maximize the quality of results (QoRs). More specifically, we apply cross-stage optimization to tackle four challenging synthesis problems at logic and architectural level. At the logic level, we investigate both exact and approximate synthesis techniques: (P1) PIMap improves the quality of logic optimization by iteratively restructuring the logic network guided by technology mapping; (P2) SCALS generates approximate circuits with statistical guarantees. At the architectural level, we target both specialized and programmable engines: (P3) ElasticFlow compiles irregular loop nests into specialized accelerators optimized for average-case performance; (P4) ASSIST synthesizes an instruction set architecture (ISA) description into programmable processor.
dc.subjectArchitectural Synthesis
dc.subjectCross-Stage Optimization
dc.subjectElectronic Design Automation
dc.subjectLogic Synthesis
dc.subjectComputer engineering
dc.titleCross-Stage Logic and Architectural Synthesis: with Applications to Specialized Circuits and Programmable Processors
dc.typedissertation or thesis and Computer Engineering University of Philosophy D., Electrical and Computer Engineering
dc.contributor.chairZhang, Zhiru
dc.contributor.committeeMemberLal, Amit
dc.contributor.committeeMemberStuder, Christoph
dc.contributor.committeeMemberSampson, Adrian L

Files in this item


This item appears in the following Collection(s)

Show simple item record