• DocumentCode
    3791759
  • Title

    Guest Editorial

  • Author

    R.I. Bahar;S.A. Edwards

  • Volume
    25
  • Issue
    5
  • fYear
    2006
  • Firstpage
    741
  • Lastpage
    742
  • Keywords
    "Circuit synthesis","Network synthesis","Logic circuits","Design automation","High level synthesis","Boolean functions","Computational modeling","Formal verification","Registers","Partitioning algorithms"
  • Journal_Title
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • Publisher
    ieee
  • ISSN
    0278-0070
  • Type

    jour

  • DOI
    10.1109/TCAD.2006.873691
  • Filename
    1624508