Algorithmic and knowledge based CAD for VLSI

by Russell, G., (Gordon) Taylor, Gaynor E.

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Algorithmic and knowledge based CAD for VLSI / edited by Gaynor Taylor and Gordon Russell.

Edition Statements

Publication Date:1992.

Publication Statements

Publisher(s):P. Peregrinus on behalf of the Institution of Electrical Engineers
Place of Publication:London, United Kingdom
Language:eng
Publication Date:1992.

The Physical Object

Description:1 online resource (289 pages) : : illustrations

Edition Identifiers

ISBN:9781849193580, 1849193584
oclc:ocn861527821
LC Classification:TK7874
Dewey Decimal:621.39/5

Cover -- Half-title -- Title -- Copyright -- Contents -- Foreword -- Preface -- List of Contributors -- 1 Expert assistance in digital circuit design -- 1.1 Introduction -- 1.2 Digital systems -- 1.3 Present CAD systems -- 1.4 The nature of design -- 1.5 Design is a 'satisfactory' process

1.6 The artificial intelligence paradigm 1.7 The design assistant -- 1.7.1 General scheme of a design automation system -- 1.7.2 Aims of the design assistant -- 1.7.3 Requirements for the design assistant -- 1.7.4 Present status

1.7.5 Functional arrangement of the design assistant 1.7.6 The knowledge base -- 1.8 Conclusion -- 1.9 References -- 2 Use of a theorem prover for transformational synthesis -- 2.1 Introduction -- 2.2 Transformational synthesis -- 2.3 The Boyer-Moore theorem prover

2.4 A proof example 2.5 Synthesis method -- 2.6 Synthesis example -- 2.7 Conclusions -- 2.8 References -- 3 An overview of high level synthesis technologies for digital ASICs -- 3.1 Introduction -- 3.2 The benefits of synthesis -- 3.3 System level synthesis

3.4 Interface synthesis 3.5 High level synthesis -- 3.5.1 Translation to intermediate representation -- 3.5.2 Optimisation -- 3.5.3 Using estimation to …

Subjects

Computer-aided design computer-aided designs (visual works) Conception assistée par ordinateur Expert systems (Computer science) Integrated circuits -- Very large scale… Systèmes experts (Informatique)