Algorithmic and knowledge based CAD for VLSI

The following topics are dealt with: Expert assistance in digital circuit design; use of a theorem prover for transformational synthesis; an overview of high level synthesis technologies for digital ASICs; simulated annealing based synthesis of fast discrete cosine transform blocks; knowledge based...

Ausführliche Beschreibung

Bibliographische Detailangaben
Weitere Verfasser:	Taylor, Gaynor E. 1950- (HerausgeberIn), Russell, G. (Gordon) (HerausgeberIn)
Format:	Electronic Resource
Sprache:	English
Veröffentlicht:	London P. Peregrinus on behalf of the Institution of Electrical Engineers [1992]
Schlagworte:	Integrated circuits > Very large scale integration > Computer-aided design. Integrated circuits > Very large scale integration > Testing > Data processing. Expert systems (Computer science) Electronic books.
Online Zugang:	Available for University of the Philippines Diliman via IET Digital Library. Click here to access Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy