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
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3791759