@inproceedings{intersynth,
	title={Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic},
	author={C. 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 C. 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 = {C. Wolf},
	title = {Design and Implementation of the Yosys Open SYnthesis Suite},
	note = {Bachelor Thesis, Vienna University of Technology},
	year = {2013}
}

@unpublished{VerilogFossEval,
	author = {C. 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}, 
	author={IEEE Standards Association and others},
	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}, 
	author={IEEE Standards Association and others},
	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},
	author={IEEE Standards Association and others},
	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},
	author={IEEE Standards Association and others},
	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}, 
	author={IEEE Standards Association and others},
	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},
} 

@article{een2003temporal,
  title={Temporal induction by incremental SAT solving},
  author={E{\'e}n, Niklas and S{\"o}rensson, Niklas},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={89},
  number={4},
  pages={543--560},
  year={2003},
  publisher={Elsevier}
}

@inproceedings{btor,
  title={BTOR: bit-precise modelling of word-level problems for model checking},
  author={Brummayer, Robert and Biere, Armin and Lonsing, Florian},
  booktitle={Proceedings of the joint workshops of the 6th international workshop on satisfiability modulo theories and 1st international workshop on bit-precise reasoning},
  pages={33--38},
  year={2008}
}

@inproceedings{VIS,
  title={VIS: A system for verification and synthesis},
  author={Brayton, Robert K and Hachtel, Gary D and Sangiovanni-Vincentelli, Alberto and Somenzi, Fabio and Aziz, Adnan and Cheng, Szu-Tsung and Edwards, Stephen and Khatri, Sunil and Kukimoto, Yuji and Pardo, Abelardo and others},
  booktitle={Proceedings of the 8th International Conference on Computer Aided Verification},
  pages={428--432},
  year={1996},
  organization={Springer}
}