Title :
Ways to Establishing Necessary Features of Circuits Equivalence
Author :
Al-Zabi, Bilal ; Kernytskyy, Andriy ; Tkachenko, Serhiy
Author_Institution :
Lviv Polytech. Nat. Univ., Lviv
Abstract :
Two possible circuit equivalence checking techniques during solving the verification and functional layout tasks are considered.
Keywords :
circuit layout; equivalent circuits; circuit equivalence checking techniques; functional layout tasks; functional verification; Algorithm design and analysis; Circuits; Computer aided manufacturing; Concrete; Costs; Heuristic algorithms; Joining processes; NP-complete problem; Problem-solving; Sorting; circuit; conditions; equivalence; functional verification;
Conference_Titel :
Perspective Technologies and Methods in MEMS Design, 2007. MEMSTECH 2007. International Conference on
Conference_Location :
Lviv-Polyana
Print_ISBN :
978-966-553-614-7
DOI :
10.1109/MEMSTECH.2007.4283453
