Reasoning about design tradeoffs and constraint satisfaction integrated circuit design

Clayton D. Stafford

doi:10.7939/r34b2xf1s

ScienceGate Book Chapters

JOURNAL ARTICLE

Reasoning about design tradeoffs and constraint satisfaction integrated circuit design

Clayton D. Stafford

Year: 1991 Journal: University of Alberta Library

DOI: 10.7939/r34b2xf1s

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science Constraint satisfaction problem Constraint (computer-aided design) Constraint satisfaction Physical design Circuit design Artificial intelligence Engineering Embedded system

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Manufacturing Process and Optimization

Physical Sciences → Engineering → Industrial and Manufacturing Engineering

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Reasoning about design tradeoffs and constraint satisfaction integrated circuit design

Metrics

Topics

Related Documents

A Constraint Satisfaction Approach to a Circuit Design Problem

Constraint Reasoning in Concurrent Design

Constraint Reasoning about Repeating Events: Satisfaction and Optimization

Constraint Propagation for Analog and Mixed-Signal Integrated Circuit Design

Integrated Circuit Design