• DocumentCode
    3181661
  • Title

    Ways to Establishing Necessary Features of Circuits Equivalence

  • Author

    Al-Zabi, Bilal ; Kernytskyy, Andriy ; Tkachenko, Serhiy

  • Author_Institution
    Lviv Polytech. Nat. Univ., Lviv
  • fYear
    2007
  • fDate
    23-26 May 2007
  • Firstpage
    154
  • Lastpage
    154
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/MEMSTECH.2007.4283453
  • Filename
    4283453
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3181661