Back to results
University of Illinois at Urbana-Champaign
Diagnosis and correction of logic design errors
Abstract
dc:descriptionA CAD tool ACCORD has been developed for design verification and design error correction. ACCORD verifies a gate-level implementation of a design in terms of its functional description. If the functionality of an implementation is incorrect, the tool identifies the error locations and makes corrections automatically.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Engineering, Electronics and Electrical
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2011
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Chung, Pi-Yu
- Contributors dc:contributor
-
- Hajj, Ibrahim N.
Subjects
dc:subject × 2Rights
dc:rights- Statement dc:rights
-
- Copyright 1994 Chung, Pi-Yu
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
-
AAI9416349
(UMI)AAI9416349 - OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/22966