Satisfiability-based detailed FPGA routing

Proceedings of the IEEE International Conference on VLSI Design

Volumn , Issue , 1999, Pages 574-577

  Nam, Gi Joon ^a   Sakallah, Karem A ^a   Rutenbar, Rob A ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; DECISION THEORY; LOGIC DESIGN; PROBLEM SOLVING;

BINARY DECISION DIAGRAMS (BDD);

FIELD PROGRAMMABLE GATE ARRAYS;

EID: 0032735598     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)