Computer Aided Design of Digital Systems A BibliographyPDF电子书下载

Section 1 - Citations 1

A．General References on Design Automation 3

A1．Books 3

A2．Surveys 4

A3．Bibliographies 5

A4．Other General References 8

B．Automated Logic Design 13

B1．Books，Surveys，Bibliographies 13

B2．Logic Design Algorithms 18

B3．Digital Design Languages 67

B4．Logic Design Systems 78

B5．Microprogramming Design Aids 86

B6．Other 91

C．Logic and Fault Simulation 94

C1．Books，Surveys，Bibliographies 94

C2．Logic Simulation Techniques 95

C3．Logic Simulation Programs and Systems 100

C4．Fault Simulation Techniques 106

C5．Fault Simulation Programs and Systems 109

D．Fault Diagnosis and Fault Test Generation 112

D1．Books，Surveys，Bibliographies 112

D2．Fault Diagnosis Techniques 115

D3．Fault Diagnosis Programs and Systems 161

D4．Design for Fault Diagnosis/Fault Tolerance 165

E．Layout of Printed and Integrated Circuits 176

E1．Books，Surveys，Bibliographies 176

E2．Partitioning 178

E3．Module，Pin and Gate Assignment 185

E4．Placement 187

E5．Routing 193

E6．Printed Circuit Layout 200

E7．Integrated Circuit Layout 210

E8．Topological Layout Methods 223

E9．Other 229

F．Computer-aided Circuit Analysis 231

F1．Books，Surveys，Bibliographies 231

F2．Programs and Systems 233

G．Automated Documentation 237

G1．Books，Surveys，Bibliographies 237

G2．Automated Generation of Logic Diagrams 237

G3．Automated Drafting 239

G4．Automated Generation of Flowcharts 242

G5．Other 243

H．Computer-aided Manufacturing of Digital Systems 244

H1．Books，Surveys，Bibliographies 244

H2．Computer-aided Manufacturing and Testing 244

I．Software Design Automation 248

I1．Books，Surveys，Bibliographies 248

I2．Program Correctness and Program Analysis 250

I3．Automated Software Testing 253

I4．Automated Program Synthesis 257

I5．Automated Program Documentation 259

I6．Other 260

J．Mathematical and Computer Science Aids for Digital Design Automation 263

J1．Graph Theory 263

J2．Optimization 267

J3．Computer Graphics 269

J4．File Systems and Data Bases 273

J5．Programming Languages，Compilers，Data Structures 277

Section 2 - Author Index 279

Section 3 - Subject and Keyword Index 325

Section 4 - Research Report Index 340

Appendix 1:Abbreviations Used 367

Appendix 2:List of Journals Covered 369

Appendix 3:List of Conferences Covered 373