Logic Design Error Diagnosis and Correction

Chung, Pi-Yu; Wang, Yi-Min; Hajj, Ibrahim N.

Permalink

https://hdl.handle.net/2142/74471 Copy

Description

Title

Logic Design Error Diagnosis and Correction

Author(s)

• Chung, Pi-Yu
• Wang, Yi-Min
• Hajj, Ibrahim N.

Issue Date

1993-02

Keyword(s)

• Design verification
• Design correction
• Design diagnosis
• BDD

Publisher

Analog and Digital Circuits, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign

Series/Report Name or Number

Coordinated Science Laboratory Report no. UILU-ENG-93-2207, DAC-35

Type of Resource

text

Language

English

Permalink

http://hdl.handle.net/2142/74471

Sponsor(s)/Grant Number(s)

Joint Services Electronics Program / N00014-90-J-1270

Owning Collections