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