Routability checking for three-dimensional architectures.

Routability checking for three-dimensional architectures.

We present a novel symbolic routability checking approach for three-dimensional interconnect layout. The model considered is a general architecture that can fit into different applications, such as ASIC, multichip modules, field-programmable gate arrays, and reconfigurable computing architectures. T...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τόπος έκδοσης:IEEE Transactions on VLSI systems 12, 12 (2004).
Κύριος συγγραφέας: Hung, W.N.N
Μορφή: Άρθρο
Γλώσσα:English
Θέματα:
ASIC.
Boolean constraints.
Circuit layout CAD.
Field programmable gate arrays.
Graph theory.
Multichip modules.
Network routing.
Reconfigurable computing architectures.
Routability.
Satisfiability.
Three dimensional architectures.
Three dimensional interconnect layout.