summaryrefslogtreecommitdiff
path: root/manual/literature.bib
blob: 91bc1f382cf4a49947202b67056de143547cbcd9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
@inproceedings{intersynth,
	title={Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic},
	author={Clifford Wolf and Johann Glaser and Florian Schupfer and Jan Haase and Christoph Grimm},
	booktitle={FDL Proceeding of the 2012 Forum on Specification and Design Languages},
	pages={194--201},
	year={2012}
}

@incollection{intersynthFdlBookChapter,
	title={Methodology and Example-Driven Interconnect Synthesis for Designing Heterogeneous Coarse-Grain Reconfigurable Architectures},
	author={Johann Glaser and Clifford Wolf},
	booktitle={Advances in Models, Methods, and Tools for Complex Chip Design --- Selected contributions from FDL'12},
	editor={Jan Haase},
	publisher={Springer},
	year={2013},
	note={to appear}
}

@unpublished{BACC,
	author = {Clifford Wolf},
	title = {Design and Implementation of the Yosys Open SYnthesis Suite},
	note = {Bachelor Thesis, Vienna University of Technology},
	year = {2013}
}

@unpublished{VerilogFossEval,
	author = {Clifford Wolf},
	title = {Evaluation of Open Source Verilog Synthesis Tools for Feature-Completeness and Extensibility},
	note = {Unpublished Student Research Paper, Vienna University of Technology},
	year = {2012}
}

@article{ABEL,
	title={A High-Level Design Language for Programmable Logic Devices},
	author={Kyu Y. Lee and Michael Holley and Mary Bailey and Walter Bright},
	journal={VLSI Design (Manhasset NY: CPM Publications)},
	year={June 1985},
	pages={50-62}
}

@MISC{Cheng93vl2mv:a,
	author = {S-T Cheng and G York and R K Brayton},
	title = {VL2MV: A Compiler from Verilog to BLIF-MV},
	year = {1993}
}

@MISC{Odin,
	author = {Peter Jamieson and Jonathan Rose},
	title = {A VERILOG RTL SYNTHESIS TOOL FOR HETEROGENEOUS FPGAS},
	year = {2005}
}

@inproceedings{vtr2012,
  title={The VTR Project: Architecture and CAD for FPGAs from Verilog to Routing},
  author={Jonathan Rose and Jason Luu and Chi Wai Yu and Opal Densmore and Jeff Goeders and Andrew Somerville and Kenneth B. Kent and Peter Jamieson and Jason Anderson},
  booktitle={Proceedings of the 20th ACM/SIGDA International Symposium on Field-Programmable Gate Arrays},
  pages={77--86},
  year={2012},
  organization={ACM}
}

@MISC{LogicSynthesis,
	author = {G D Hachtel and F Somenzi},
	title = {Logic Synthesis and Verification Algorithms},
	year = {1996}
}

@ARTICLE{Verilog2005, 
	journal={IEEE Std 1364-2005 (Revision of IEEE Std 1364-2001)},
	title={IEEE Standard for Verilog Hardware Description Language}, 
	year={2006}, 
	doi={10.1109/IEEESTD.2006.99495}
}

@ARTICLE{VerilogSynth, 
	journal={IEEE Std 1364.1-2002},
	title={IEEE Standard for Verilog Register Transfer Level Synthesis}, 
	year={2002}, 
	doi={10.1109/IEEESTD.2002.94220}
}

@ARTICLE{VHDL,
	journal={IEEE Std 1076-2008 (Revision of IEEE Std 1076-2002)}, title={IEEE Standard VHDL Language Reference Manual},
	year={2009},
	month={26},
	doi={10.1109/IEEESTD.2009.4772740}
}

@ARTICLE{VHDLSynth,
	journal={IEEE Std 1076.6-2004 (Revision of IEEE Std 1076.6-1999)}, title={IEEE Standard for VHDL Register Transfer Level (RTL) Synthesis},
	year={2004},
	doi={10.1109/IEEESTD.2004.94802}
}

@ARTICLE{IP-XACT, 
journal={IEEE Std 1685-2009}, title={IEEE Standard for IP-XACT, Standard Structure for Packaging, Integrating, and Reusing IP within Tools Flows}, 
year={2010}, 
pages={C1-360}, 
keywords={abstraction definitions, address space specification, bus definitions, design environment, EDA, electronic design automation, electronic system level, ESL, implementation constraints, IP-XACT, register transfer level, RTL, SCRs, semantic consistency rules, TGI, tight generator interface, tool and data interoperability, use models, XML design meta-data, XML schema}, 
doi={10.1109/IEEESTD.2010.5417309},}

@book{Dragonbook,
author = {Aho, Alfred V. and Sethi, Ravi and Ullman, Jeffrey D.},
title = {Compilers: principles, techniques, and tools},
year = {1986},
isbn = {0-201-10088-6},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
} 

@INPROCEEDINGS{Cummings00,
author = {Clifford E. Cummings and Sunburst Design Inc},
title = {Nonblocking Assignments in Verilog Synthesis, Coding Styles That Kill},
booktitle = {SNUG (Synopsys Users Group) 2000 User Papers, section-MC1 (1 st paper},
year = {2000}
}

@ARTICLE{MURPHY,
	author={D. L. Klipstein},
	journal={Cahners Publishing Co., EEE Magazine, Vol. 15, No. 8},
	title={The Contributions of Edsel Murphy to the Understanding of the Behavior of Inanimate Objects},
	year={August 1967}
}

@INPROCEEDINGS{fsmextract, 
author={Yiqiong Shi and Chan Wai Ting and Bah-Hwee Gwee and Ye Ren}, 
booktitle={Circuits and Systems (ISCAS), Proceedings of 2010 IEEE International Symposium on}, 
title={A highly efficient method for extracting FSMs from flattened gate-level netlist}, 
year={2010}, 
pages={2610-2613}, 
keywords={circuit CAD;finite state machines;microcontrollers;FSM;control-intensive circuits;finite state machines;flattened gate-level netlist;state register elimination technique;Automata;Circuit synthesis;Continuous wavelet transforms;Design automation;Digital circuits;Hardware design languages;Logic;Microcontrollers;Registers;Signal processing}, 
doi={10.1109/ISCAS.2010.5537093},}

@ARTICLE{MultiLevelLogicSynth, 
author={Brayton, R.K. and Hachtel, G.D. and Sangiovanni-Vincentelli, A.L.}, 
journal={Proceedings of the IEEE}, 
title={Multilevel logic synthesis}, 
year={1990}, 
volume={78}, 
number={2}, 
pages={264-300}, 
keywords={circuit layout CAD;integrated logic circuits;logic CAD;capsule summaries;definitions;detailed analysis;in-depth background;logic decomposition;logic minimisation;logic synthesis;logic synthesis techniques;multilevel combinational logic;multilevel logic synthesis;notation;perspective;survey;synthesis methods;technology mapping;testing;Application specific integrated circuits;Design automation;Integrated circuit synthesis;Logic design;Logic devices;Logic testing;Network synthesis;Programmable logic arrays;Signal synthesis;Silicon}, 
doi={10.1109/5.52213}, 
ISSN={0018-9219},}

@article{UllmannSubgraphIsomorphism,
	author = {Ullmann, J. R.},
	title = {An Algorithm for Subgraph Isomorphism},
	journal = {J. ACM},
	issue_date = {Jan. 1976},
	volume = {23},
	number = {1},
	month = jan,
	year = {1976},
	issn = {0004-5411},
	pages = {31--42},
	numpages = {12},
	doi = {10.1145/321921.321925},
	acmid = {321925},
	publisher = {ACM},
	address = {New York, NY, USA},
}