|Catalog Data||ECEN 6139 (3). Logic Synthesis of VLSI Systems. Studies synthesis and optimization of sequential circuits, including retiming transformations and don't care sequences. Gives attention to hardware description languages and their application to finite state systems. Also includes synthesis for testability and performance, algorithms for test generation, formal verification of sequential systems, and synthesis of asynchronous circuits.|
|Credits and Design||3 credit hours. Elective course.|
ECEN 5139, Synthesis of VLSI Systems
CSCI 5454, Design and Analysis of Algorithms
Last revised: 08-02-11, PM, ARP.