@inproceedings{ panda01systemc,
    author = "Preeti Ranjan Panda",
    title = "SystemC",
    booktitle = "{ISSS}",
    pages = "75-80",
    year = "2001",
    url = "citeseer.nj.nec.com/panda01systemc.html" }

@inproceedings{ french95general,
  author = "Robert S. French and Monica S. Lam and Jeremy R. Levitt and Kunle Olukotun", title = "A General Method for Compiling Event-Driven Simulations", 
  booktitle = "Design Automation Conference", 
  pages = "151-156", 
  year = "1995", 
  url = "citeseer.nj.nec.com/french95general.html" }

@article{ badros00javaml, author = "Greg J. Badros", title = "Java{ML}: a markup language for {Java} source code", journal = "Computer Networks (Amsterdam, Netherlands: 1999)", volume = "33", number = "1--6", pages = "159--177", year = "2000", url = "citeseer.nj.nec.com/badros00javaml.html" }

@inproceedings{ eventvsstatic, 
	author       = "Buchmann Richard and Petrot Frederic and Greiner Alain",
	title        = "Pilotage evenementiel versus ordonnancement statique",
	organization = "ASIM/LIP6/UPMC",
	booktitle    = "{Troisième colloque du GDR CAO de circuits et systèmes integres, Paris, France}",
  year         = "2002",
	pages        = "151-154",
	date         = "Mai 2002" }

@INPROCEEDINGS{simu97-3,
   author       = "Frederic Petrot and Denis Hommais and Alain Greiner",
   title        = "Cycle Precise Core Based Hardware/Software System
                   Simulation with Predictable Event Propagation",
   organization = "ASIM/LIP6/UPMC",
   booktitle    = "Proceeding of the $23^{\mathrm{rd}}$ Euromicro Conference",
   address      = "Budapest, Hungary",
   pages        = "182--187",
   publisher    = "IEEE",
   month        = sep,
   year         = 1997 
}  

@article{ chang01fast,
    author = "Felix Sheng-Ho Chang and Alan J. Hu",
    title = "Fast Specification of Cycle-Accurate Processor Models",
    booktitle = "Proc. International Conf. Computer Design ({ICCD})",
    publisher = "IEEE Computer Society Press",
    pages = "488--492",
    year = "2001",
    url = "citeseer.nj.nec.com/chang01fast.html" }

@manual{program_transform,
	title = "The Program Transformation Wiki",
	note  = "http://www.program-transformation.org"}

@misc{olmos-visser, 
	author = "Karina Olmos and Eelco Visser",
	title = "Strategies for Source-to-Source Constant Propagation",
	year = "2002",
	url = "citeseer.nj.nec.com/olmos02constant.html" }

@manual{systemc_osci,
	title = "OSCI",
	note  = "http://www.systemc.org"}

@manual{GCCXML,
	title = "GCC\_XML",
	note  = "http://www.gccxml.org"}

@misc{for-lukai, 
        author = "Mar Center For", 
        title = "Lukai Cai and Daniel Gajski", 
	url = "citeseer.nj.nec.com/561051.html" }

@manual{SystemC-2.0.1-LRM,
	title = "SystemC 2.0.1 Language Reference Manual",
        author = "OSCI", 
        year = "2003",
	note  = "http://www.systemc.org"}

@INPROCEEDINGS{TLM-SoC-SC2.0,
	Author = "Sudeep Pasricha", 
	organization = "STMicrolectronics",
	title      = "Transaction level modeling of SoC with SystemC 2.0",
	year     = "2002"
}

@INPROCEEDINGS{Empirical-Study-SC,
	Author       = "Ando Ki", 
	organization = "R\&D Center,Dynalith Systems, Korea",
	title        = "Internal Report",
	booktitle    = "Empirical Study of SystemC",
	year         = "2003",
	url          = "http://www.dynalith.com"
}

@misc{SOCLIB,
	Author = "SoCLIB", 
	title      = "A modelisation \& simulation plat-form for system on
chip",
	year     = "2003",
	note = "http://soclib.lip6.fr"
}

@misc{DISYDENT,
	author = "LIP6",
	title = "Digital System Design Environment",
	note = "http://www-asim.lip6.fr/recherche/disydent"
}

@manual{vci_specifications,
	title = "Virtual Component Interface Standard",
	note  = "http://www.vsi.org"}

@inproceedings{ date04-mouchard,
                author = "Daniel Gracia Perez and Gilles Mouchard and Olivier Temam",
                title  = "A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling",
                booktitle    = "Design, Automation and Test in Europe Conference and Exhibition Volume I (DATE'04)",
                year         = "2004",
                address      = "Paris, France",
                organization = "ALCHEMY INRIA Futurs \& LRI, Paris South University",
                publisher    = "IEEE",
                pages        =  "10552" }

@misc{ bjrklund02language,
  author = "D. Bjrklund and J. Lilius",
  title = "A language for multiple models of computation",
  text = "Dag Bjrklund and Johan Lilius. A language for multiple models of
computation.
    In Symposium on Hardware/Software Codesign 2002. ACM, 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/bjrklund02language.html" }

@inproceedings{989013,
 author = {Hiren D. Patel and Sandeep K. Shukla},
 title = {Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models},
 booktitle = {GLSVLSI '04: Proceedings of the 14th ACM Great Lakes symposium on VLSI},
 year = {2004},
 isbn = {1-58113-853-9},
 pages = {248--253},
 location = {Boston, MA, USA},
 doi = {http://doi.acm.org/10.1145/988952.989013},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{74398,
 author = {Z. Wang and P. M. Maurer},
 title = {Scheduling high-level blocks for functional simulation},
 booktitle = {DAC '89: Proceedings of the 26th ACM/IEEE conference on Design automation},
 year = {1989},
 isbn = {0-89791-310-8},
 pages = {87--90},
 location = {Las Vegas, Nevada, United States},
 doi = {http://doi.acm.org/10.1145/74382.74398},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{217522,
 author = {Robert S. French and Monica S. Lam and Jeremy R. Levitt and Kunle Olukotun},
 title = {A general method for compiling event-driven simulations},
 booktitle = {DAC '95: Proceedings of the 32nd ACM/IEEE conference on Design automation},
 year = {1995},
 isbn = {0-89791-725-1},
 pages = {151--156},
 location = {San Francisco, California, United States},
 doi = {http://doi.acm.org/10.1145/217474.217522},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{kahn3,
 author = {G. Kahn},
 title = {The Semantics of a simple language for parallel programming},
 booktitle = {IFIP Congress : Information Processing},
 year = {1974},
 publisher = {North-Holland Publishing Co.},
 }

@manual{VSIAAD,
	title = "VSIA Architecture Document",
        author = "VSI Alliance", 
        year = "1997",
	note  = "http://www.vsia.org"}

@inproceedings{ludo99,
 author = { Jacomme Ludovic, Pétrot Frédéric, Bawa Rajesh K. },
 title = {Formal Analysis of Single Wait VHDL processes for Semantic Based Synthesis},
 booktitle = {12th IEEE International Conference on VLSI Design},
 year = {1999},
 location = {Goa, India},
 pages = {151-156}}

@inproceedings{ iceec04-buch,
  author = "R. Buchmann and F. Petrot and A. Greiner",
  title  = "Fast Cycle Accurate Simulator to simulate Event-Driven Behavior",
  booktitle    = "Proceeding of The 2004 International Conference on Electrical, Electronic and Computer Engineering (ICEEC'04)",
  year         = "2004",
  address      = "Cairo, Egypt",
  organization = "ASIM/LIP6/UPMC",
  publisher    = "IEEE",
  pages        =  "35-39" }

@phdthesis{hommais,
  author= {Hommais Denis},
  title= {Une méthode d'évaluation et de synthèse des communications dans les systèmes intégrés matériel-logiciel},
  year = {2001},
  organization = "ASIM/LIP6/UPMC",
  location = {Paris, France}
}

@phdthesis{jacomme,
  author= {Jacomme Ludovic},
  title = {Analyse sémantique de descriptions VHDL synchrones en vue de la
synthèse},
  year = {1999},
  organization = "ASIM/LIP6/UPMC",
  location = {Paris, France}
}

@book{mips_goodman,
  title = {A programmer's view of computer architecture: with examples from the
MIPS RISC architecture},
  author = {James Goodman},
  edition = {Fort Worth: Saunders College Pub.},
  year = {1992},
  isbn = {0030972213}
}

@book{mips_gerry,
  title = {MIPS RISC architecture},
  author = {Gerry Kane},
  publisher = {Englewood Cliffs, NJ : Prentice-Hall},
  year = {1988},
  isbn = {0135847494}
}

@inproceedings{webmips,
  title="WebMIPS: A New Web-Based MIPS Simulation Environment for Computer
Architecture Education",
  author = {Irina Branovic, Roberto Giorgi, Enrico Martinelli},
  organization = {University of Siena, Italy}
}

 
@inproceedings{early_pipeline,
  title="Fast Cycle-accurate Behavioral Simulation for Pipelined Processors
Using Early Pipeline Evaluation",
  booktitle= "Proceedings of ICCAD'03 conference",
  author = {In-Cheol Park, Sehyeon Kang, Yongseok Yi},
  year = "2003", 
  address = {San Jose, California USA} 
}

@misc{visual_fastc,
  title = "Visual Elite FastC",
  organization = "Summit Design Inc."
}

@article{mealy,
  title = "A method for synthesizing sequential circuits",
  author= "G. Mealy",
  booktitle="Bell System Technical J. 34",
  year  = "1955",
  pages = "1045-1079"
}

@article{moore,
  author = "E. Moore",
  title  = "Gedanken experiments on sequential machines",
  booktitle = "Automata Studies",
  edition = "C. Shannon et J. McCarthy",
  publisher = "Princeton University Press",
  address = "Princeton, New Jersey",
  year = "1956",
  pages = "129-153"
}

@article{rabin,
  author = "M. Perles, M. Rabin et E. Shamir",
  title = "The theory of definite automata",
  publisher = "IEEE.",
  booktitle = "Trans. Electron. Comput. 12",
  year = "1963",
  pages = "233-243"
}

@article{rabin2,
  author = "M. O. Rabin et D. Scott",
  title  = "Sequential Machines",
  edition = "E. F. Moore",
  publisher = "Addison-Wesley",
  address   = "Massachussetts",
  year = "1964",
  pages = "63-91"
}

@article{358613,
 author = {K. M. Chandy and J. Misra},
 title = {Asynchronous distributed simulation via a sequence of parallel
computations},
 journal = {Commun. ACM},
 volume = {24},
 number = {4},
 year = {1981},
 issn = {0001-0782},
 pages = {198--206},
 doi = {http://doi.acm.org/10.1145/358598.358613},
 publisher = {ACM Press},
 address = {New York, NY, USA}
}


@inproceedings{37915,
 author = {S. P. Smith and M. R. Mercer and B. Brodk},
 title = {Demand driven simulation: BACKSIM},
 booktitle = {DAC '87: Proceedings of the 24th ACM/IEEE conference on Design
automation},
 year = {1987},
 isbn = {0-8186-0781-5},
 pages = {181--187},
 location = {Miami Beach, Florida, United States},
 doi = {http://doi.acm.org/10.1145/37888.37915},
 publisher = {ACM Press},
 address = {New York, NY, USA}
 }

@inproceedings{123349,
 author = {Zhicheng Wang and Peter M. Maurer},
 title = {LECSIM: a levelized event driven compiled logic simulation},
 booktitle = {DAC '90: Proceedings of the 27th ACM/IEEE conference on Design
automation},
 year = {1990},
 isbn = {0-89791-363-9},
 pages = {491--496},
 location = {Orlando, Florida, United States},
 doi = {http://doi.acm.org/10.1145/123186.123349},
 publisher = {ACM Press},
 address = {New York, NY, USA}
 }

@inproceedings{hadamard,
  title = {Design of the Hadamard Coprocessor with the Alliance CAD System carried by Post-Graduating Students},
  author = {Zerrouki Amal and Dunoyer Julien and Wajsbürt Franck and Derieux Anne},
  booktitle = {3rd European Workshop on Microelectronics Education (EWME)},
  location = {Aix En Provence, France},
  year = {2000},
  pages = {265-268}
}

@inproceedings{reuse,
  author = {N. Agliada, A. Fin. and F. Fummi and M. Martignano and G. Pravadelli},
  title  = {On the Reuse of VHDL Modules into SystemC Designs},
  booktitle = {Proceedings IEEE Forum on Design Languages (FDL)},
  location = {Lyon, France},
  year = {2001}
}

@phdthesis{sidd,
  author = {Siddhartha Devalapalli},
  title = {Development of SystemC Modules from HDL for System-on-Chip
Applications},
  year = {2004},
  school = {University of Tennessee},
  location = {Knoxville}
}

@inproceedings{verilog2sc,
  author = {L. Mahmoudi Ayough, A. Haj Abutalebi, O. F. Nadjarbashi and S. Hessabi},
  title  = {Verilog2SC: A Methodology for Converting Verilog. HDL to SystemC},
  booktitle = {Proceedings of the 11th International HDL Conference (HDL Con 2002)},
  pages =  {211-217},
  location = {San Jose, California, USA},
  year = {2002}
}

@report{verilator,
  author = {W. Snyder},
  title  = {Verilator Environment},
  note = {in NASCUG},
  year = {2004}
}

@inproceedings{AIRE,
  author = {J. C. Willis and P. A. Wilsey and G. D. Peterson and J. Hines and A. Zamfirescu and D. E. Martin and R. N. Newshutz},
  title = "Advanced Intermediate Representation with Extensibility (AIRE)",
  booktitle = "VHDL Users' Group Fall 1996 Conference",
  pages = {33-40},
  year = {1996}
}

@inproceedings{savant,
  author = {D. E. Martin and P. A. Wilsey and P. Chawla},
  title  = {SAVANT: An Extensible Object-Oriented Intermediate for VHDL},
  booktitle = "VHDL Users' Group",
  year = {1996},
  pages = {275-281}
}

@inproceedings{Sil,
  author = {E. Molenkamp and G. E. Mekenkamp},
  title = {Sil: an intermediate for syntax based VHDL synthesis},
  booktitle = {VHDL International Users Forum},
  pages = {5.1-5.9},
  year = {1995}
}

@report{qualitative_subset,
  author = {D. Déharbe and D. Borrione},
  title = {A qualitative finite subset of VHDL and semantics},
  organization = {IMAG Institute},
  year = {1993}
}

@inproceedings{doh94,
  author = {G. Döhmen},
  title = {Petri Nets as Intermediate Representation Between VHDL and Symbolic
Transition Systems},
  booktitle = {EURO-VHDL},
  pages = {572-577},
  location = {Grenoble, France},
  year = {1994}
}

@inproceedings{OC93,
  author = {S. Olcoz and J.M. Colom},
  title  = {A Petri Net Approach for the Analysis of VHDL Descriptions},
  booktitle = {CHARME},
  pages  = {15-26},
  year   = {1993}
}

@inproceedings{semantics,
  author = {L. Jacomme and F. Pétrot and R.K. Bawa},
  title  = {Formal Analysis of Single Wait VHDL Processes for Semantic Based
Synthesis},
  booktitle = {12th International Conference on VLSI Design},
  pages = {151-156},
  location = {Goa, India},
  year = {1999}
}

@inproceedings{EE95,
  author = {A. Evans and E. Encrenaz},
  title  = {An Approach to the Synthesis of VHDL Concurrent Processes as a
FSM},
  booktitle = {IFIP WG 10.5 Workshop on Logic and Architecture Synthesis},
  pages = {115-124},
  location = {Grenoble, France},
  year = {1995}
}

@inproceedings{ALLIANCE,
  author = {A. Greiner and F. Pêcheux},
  title  = {ALLIANCE : A Complete Set of CAD Tools for Teaching VLSI Design},
  booktitle = {The 3rd Eurochip Workshop on VLSI Design Training},
  pages = {230-37},
  location = {Grenoble, France},
  year = {1992}
}

@inproceedings{RTL2CASS,
  author = {R.K. Bawa and P. Guerrier and L. Jacomme and P. Bazargan-Sabet.},
  title  = {An approach to behavioral synthesis from a formal model of vhdl},
  booktitle = {VHDL International Users Forum},
  pages = {117-126},
  location = {Durham, Caroline du Nord, USA},
  year = {1996}
}

@phdthesis{thesis_mouchard,
  author= {Mouchard Gilles},
  title = {Modélisation de Processeurs et de Systèmes},
  year = {2004},
  organization = "LRI"
}

@conference{PAPR1,
  title = {Modular on chip multi processor for routing applications},
  author = {E. Faure and D. Genius and F. Pétrot and S. Berrayana},
  year = {2004},
  month = september,
  location = {Pise, Italie},
  booktitle = {EUROPAR 04},
  pages = {847-855}
}

@conference{PAPR2,
  title = {Application télécom pour processeur réseau},
  author = {E. Faure and S. Berrayana and D. Genius and F. Pétrot},
  booktitle = {Sciences Electroniques Technologies de l'Information et des Télécommunications (SETIT'04)},
  location = {Sousse, Tunisie},
  month = {mars},
  year = 2004
}

@conference{ROBDD1,
	title = {Efficient implementation of a bdd package},
  booktitle = {27th ACM/IEEE Design Automation Conference},
  author = {Karl Brace and Richard Rudell and Randal Bryant},
  pages = {677-691},
  month = {August},
  year = {1986}
}

@article{ROBDD2,
	title = {Graph-based algorithms for boolean function manipulation},
  author = {Randal Bryant},
  booktitle = {IEEE Transaction on Computers},
  pages = {677-691},
  month = {August},
  year = {1986}
}

@inproceedings{VHDL2SC,
  title = {On the Reuse of VHDL Modules into SystemC Designs},
  author = {N. Agliada and A. Fin and F. Fummi and M. Martignano and G. Pravdelli},
  booktitle = {Forum on Design Languages (FDL01)},
  year = {2001}
}

@inproceedings{stereovision,
  title = "Mapping an Obstacles Detection, Stereo Vision-based, Software Application on a Multi-Processor System-on-chip",
  author = {A. Greiner and F. Petrot and M. Carrier and M. Benabdenbi and R. Chotin-avot and R. Labayrade},
  booktitle = {Proceedings of Intelligent Vehicles Symposium 2006},
  publisher = {IEEE},
  year = 2006,
  month = June,
  pages = {370-376}
}

@article{shannon,
 author = {Bernard M. E. Moret},
 title = {Decision Trees and Diagrams},
 journal = {ACM Comput. Surv.},
 volume = {14},
 number = {4},
 year = {1982},
 issn = {0360-0300},
 pages = {593--623},
 doi = {http://doi.acm.org/10.1145/356893.356898},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }