source: branches/with_autoconf/doc/SystemCASS.bib @ 39

Last change on this file since 39 was 8, checked in by nipo, 16 years ago

Checkin autotools magic

File size: 16.7 KB
Line 
1@inproceedings{ panda01systemc,
2    author = "Preeti Ranjan Panda",
3    title = "SystemC",
4    booktitle = "{ISSS}",
5    pages = "75-80",
6    year = "2001",
7    url = "citeseer.nj.nec.com/panda01systemc.html" }
8
9@inproceedings{ french95general,
10  author = "Robert S. French and Monica S. Lam and Jeremy R. Levitt and Kunle Olukotun", title = "A General Method for Compiling Event-Driven Simulations", 
11  booktitle = "Design Automation Conference", 
12  pages = "151-156", 
13  year = "1995", 
14  url = "citeseer.nj.nec.com/french95general.html" }
15
16@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" }
17
18@inproceedings{ eventvsstatic, 
19        author       = "Buchmann Richard and Petrot Frederic and Greiner Alain",
20        title        = "Pilotage evenementiel versus ordonnancement statique",
21        organization = "ASIM/LIP6/UPMC",
22        booktitle    = "{Troisième colloque du GDR CAO de circuits et systèmes integres, Paris, France}",
23  year         = "2002",
24        pages        = "151-154",
25        date         = "Mai 2002" }
26
27@INPROCEEDINGS{simu97-3,
28   author       = "Frederic Petrot and Denis Hommais and Alain Greiner",
29   title        = "Cycle Precise Core Based Hardware/Software System
30                   Simulation with Predictable Event Propagation",
31   organization = "ASIM/LIP6/UPMC",
32   booktitle    = "Proceeding of the $23^{\mathrm{rd}}$ Euromicro Conference",
33   address      = "Budapest, Hungary",
34   pages        = "182--187",
35   publisher    = "IEEE",
36   month        = sep,
37   year         = 1997 
38} 
39
40@article{ chang01fast,
41    author = "Felix Sheng-Ho Chang and Alan J. Hu",
42    title = "Fast Specification of Cycle-Accurate Processor Models",
43    booktitle = "Proc. International Conf. Computer Design ({ICCD})",
44    publisher = "IEEE Computer Society Press",
45    pages = "488--492",
46    year = "2001",
47    url = "citeseer.nj.nec.com/chang01fast.html" }
48
49@manual{program_transform,
50        title = "The Program Transformation Wiki",
51        note  = "http://www.program-transformation.org"}
52
53@misc{olmos-visser, 
54        author = "Karina Olmos and Eelco Visser",
55        title = "Strategies for Source-to-Source Constant Propagation",
56        year = "2002",
57        url = "citeseer.nj.nec.com/olmos02constant.html" }
58
59@manual{systemc_osci,
60        title = "OSCI",
61        note  = "http://www.systemc.org"}
62
63@manual{GCCXML,
64        title = "GCC\_XML",
65        note  = "http://www.gccxml.org"}
66
67@misc{for-lukai, 
68        author = "Mar Center For", 
69        title = "Lukai Cai and Daniel Gajski", 
70        url = "citeseer.nj.nec.com/561051.html" }
71
72@manual{SystemC-2.0.1-LRM,
73        title = "SystemC 2.0.1 Language Reference Manual",
74        author = "OSCI", 
75        year = "2003",
76        note  = "http://www.systemc.org"}
77
78@INPROCEEDINGS{TLM-SoC-SC2.0,
79        Author = "Sudeep Pasricha", 
80        organization = "STMicrolectronics",
81        title      = "Transaction level modeling of SoC with SystemC 2.0",
82        year     = "2002"
83}
84
85@INPROCEEDINGS{Empirical-Study-SC,
86        Author       = "Ando Ki", 
87        organization = "R\&D Center,Dynalith Systems, Korea",
88        title        = "Internal Report",
89        booktitle    = "Empirical Study of SystemC",
90        year         = "2003",
91        url          = "http://www.dynalith.com"
92}
93
94@misc{SOCLIB,
95        Author = "SoCLIB", 
96        title      = "A modelisation \& simulation plat-form for system on
97chip",
98        year     = "2003",
99        note = "http://soclib.lip6.fr"
100}
101
102@misc{DISYDENT,
103        author = "LIP6",
104        title = "Digital System Design Environment",
105        note = "http://www-asim.lip6.fr/recherche/disydent"
106}
107
108@manual{vci_specifications,
109        title = "Virtual Component Interface Standard",
110        note  = "http://www.vsi.org"}
111
112@inproceedings{ date04-mouchard,
113                author = "Daniel Gracia Perez and Gilles Mouchard and Olivier Temam",
114                title  = "A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling",
115                booktitle    = "Design, Automation and Test in Europe Conference and Exhibition Volume I (DATE'04)",
116                year         = "2004",
117                address      = "Paris, France",
118                organization = "ALCHEMY INRIA Futurs \& LRI, Paris South University",
119                publisher    = "IEEE",
120                pages        =  "10552" }
121
122@misc{ bjrklund02language,
123  author = "D. Bjrklund and J. Lilius",
124  title = "A language for multiple models of computation",
125  text = "Dag Bjrklund and Johan Lilius. A language for multiple models of
126computation.
127    In Symposium on Hardware/Software Codesign 2002. ACM, 2002.",
128  year = "2002",
129  url = "citeseer.ist.psu.edu/bjrklund02language.html" }
130
131@inproceedings{989013,
132 author = {Hiren D. Patel and Sandeep K. Shukla},
133 title = {Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models},
134 booktitle = {GLSVLSI '04: Proceedings of the 14th ACM Great Lakes symposium on VLSI},
135 year = {2004},
136 isbn = {1-58113-853-9},
137 pages = {248--253},
138 location = {Boston, MA, USA},
139 doi = {http://doi.acm.org/10.1145/988952.989013},
140 publisher = {ACM Press},
141 address = {New York, NY, USA},
142 }
143
144@inproceedings{74398,
145 author = {Z. Wang and P. M. Maurer},
146 title = {Scheduling high-level blocks for functional simulation},
147 booktitle = {DAC '89: Proceedings of the 26th ACM/IEEE conference on Design automation},
148 year = {1989},
149 isbn = {0-89791-310-8},
150 pages = {87--90},
151 location = {Las Vegas, Nevada, United States},
152 doi = {http://doi.acm.org/10.1145/74382.74398},
153 publisher = {ACM Press},
154 address = {New York, NY, USA},
155 }
156
157@inproceedings{217522,
158 author = {Robert S. French and Monica S. Lam and Jeremy R. Levitt and Kunle Olukotun},
159 title = {A general method for compiling event-driven simulations},
160 booktitle = {DAC '95: Proceedings of the 32nd ACM/IEEE conference on Design automation},
161 year = {1995},
162 isbn = {0-89791-725-1},
163 pages = {151--156},
164 location = {San Francisco, California, United States},
165 doi = {http://doi.acm.org/10.1145/217474.217522},
166 publisher = {ACM Press},
167 address = {New York, NY, USA},
168 }
169
170@inproceedings{kahn3,
171 author = {G. Kahn},
172 title = {The Semantics of a simple language for parallel programming},
173 booktitle = {IFIP Congress : Information Processing},
174 year = {1974},
175 publisher = {North-Holland Publishing Co.},
176 }
177
178@manual{VSIAAD,
179        title = "VSIA Architecture Document",
180        author = "VSI Alliance", 
181        year = "1997",
182        note  = "http://www.vsia.org"}
183
184@inproceedings{ludo99,
185 author = { Jacomme Ludovic, Pétrot Frédéric, Bawa Rajesh K. },
186 title = {Formal Analysis of Single Wait VHDL processes for Semantic Based Synthesis},
187 booktitle = {12th IEEE International Conference on VLSI Design},
188 year = {1999},
189 location = {Goa, India},
190 pages = {151-156}}
191
192@inproceedings{ iceec04-buch,
193  author = "R. Buchmann and F. Petrot and A. Greiner",
194  title  = "Fast Cycle Accurate Simulator to simulate Event-Driven Behavior",
195  booktitle    = "Proceeding of The 2004 International Conference on Electrical, Electronic and Computer Engineering (ICEEC'04)",
196  year         = "2004",
197  address      = "Cairo, Egypt",
198  organization = "ASIM/LIP6/UPMC",
199  publisher    = "IEEE",
200  pages        =  "35-39" }
201
202@phdthesis{hommais,
203  author= {Hommais Denis},
204  title= {Une méthode d'évaluation et de synthèse des communications dans les systèmes intégrés matériel-logiciel},
205  year = {2001},
206  organization = "ASIM/LIP6/UPMC",
207  location = {Paris, France}
208}
209
210@phdthesis{jacomme,
211  author= {Jacomme Ludovic},
212  title = {Analyse sémantique de descriptions VHDL synchrones en vue de la
213synthèse},
214  year = {1999},
215  organization = "ASIM/LIP6/UPMC",
216  location = {Paris, France}
217}
218
219@book{mips_goodman,
220  title = {A programmer's view of computer architecture: with examples from the
221MIPS RISC architecture},
222  author = {James Goodman},
223  edition = {Fort Worth: Saunders College Pub.},
224  year = {1992},
225  isbn = {0030972213}
226}
227
228@book{mips_gerry,
229  title = {MIPS RISC architecture},
230  author = {Gerry Kane},
231  publisher = {Englewood Cliffs, NJ : Prentice-Hall},
232  year = {1988},
233  isbn = {0135847494}
234}
235
236@inproceedings{webmips,
237  title="WebMIPS: A New Web-Based MIPS Simulation Environment for Computer
238Architecture Education",
239  author = {Irina Branovic, Roberto Giorgi, Enrico Martinelli},
240  organization = {University of Siena, Italy}
241}
242
243 
244@inproceedings{early_pipeline,
245  title="Fast Cycle-accurate Behavioral Simulation for Pipelined Processors
246Using Early Pipeline Evaluation",
247  booktitle= "Proceedings of ICCAD'03 conference",
248  author = {In-Cheol Park, Sehyeon Kang, Yongseok Yi},
249  year = "2003", 
250  address = {San Jose, California USA} 
251}
252
253@misc{visual_fastc,
254  title = "Visual Elite FastC",
255  organization = "Summit Design Inc."
256}
257
258@article{mealy,
259  title = "A method for synthesizing sequential circuits",
260  author= "G. Mealy",
261  booktitle="Bell System Technical J. 34",
262  year  = "1955",
263  pages = "1045-1079"
264}
265
266@article{moore,
267  author = "E. Moore",
268  title  = "Gedanken experiments on sequential machines",
269  booktitle = "Automata Studies",
270  edition = "C. Shannon et J. McCarthy",
271  publisher = "Princeton University Press",
272  address = "Princeton, New Jersey",
273  year = "1956",
274  pages = "129-153"
275}
276
277@article{rabin,
278  author = "M. Perles, M. Rabin et E. Shamir",
279  title = "The theory of definite automata",
280  publisher = "IEEE.",
281  booktitle = "Trans. Electron. Comput. 12",
282  year = "1963",
283  pages = "233-243"
284}
285
286@article{rabin2,
287  author = "M. O. Rabin et D. Scott",
288  title  = "Sequential Machines",
289  edition = "E. F. Moore",
290  publisher = "Addison-Wesley",
291  address   = "Massachussetts",
292  year = "1964",
293  pages = "63-91"
294}
295
296@article{358613,
297 author = {K. M. Chandy and J. Misra},
298 title = {Asynchronous distributed simulation via a sequence of parallel
299computations},
300 journal = {Commun. ACM},
301 volume = {24},
302 number = {4},
303 year = {1981},
304 issn = {0001-0782},
305 pages = {198--206},
306 doi = {http://doi.acm.org/10.1145/358598.358613},
307 publisher = {ACM Press},
308 address = {New York, NY, USA}
309}
310
311
312@inproceedings{37915,
313 author = {S. P. Smith and M. R. Mercer and B. Brodk},
314 title = {Demand driven simulation: BACKSIM},
315 booktitle = {DAC '87: Proceedings of the 24th ACM/IEEE conference on Design
316automation},
317 year = {1987},
318 isbn = {0-8186-0781-5},
319 pages = {181--187},
320 location = {Miami Beach, Florida, United States},
321 doi = {http://doi.acm.org/10.1145/37888.37915},
322 publisher = {ACM Press},
323 address = {New York, NY, USA}
324 }
325
326@inproceedings{123349,
327 author = {Zhicheng Wang and Peter M. Maurer},
328 title = {LECSIM: a levelized event driven compiled logic simulation},
329 booktitle = {DAC '90: Proceedings of the 27th ACM/IEEE conference on Design
330automation},
331 year = {1990},
332 isbn = {0-89791-363-9},
333 pages = {491--496},
334 location = {Orlando, Florida, United States},
335 doi = {http://doi.acm.org/10.1145/123186.123349},
336 publisher = {ACM Press},
337 address = {New York, NY, USA}
338 }
339
340@inproceedings{hadamard,
341  title = {Design of the Hadamard Coprocessor with the Alliance CAD System carried by Post-Graduating Students},
342  author = {Zerrouki Amal and Dunoyer Julien and Wajsbürt Franck and Derieux Anne},
343  booktitle = {3rd European Workshop on Microelectronics Education (EWME)},
344  location = {Aix En Provence, France},
345  year = {2000},
346  pages = {265-268}
347}
348
349@inproceedings{reuse,
350  author = {N. Agliada, A. Fin. and F. Fummi and M. Martignano and G. Pravadelli},
351  title  = {On the Reuse of VHDL Modules into SystemC Designs},
352  booktitle = {Proceedings IEEE Forum on Design Languages (FDL)},
353  location = {Lyon, France},
354  year = {2001}
355}
356
357@phdthesis{sidd,
358  author = {Siddhartha Devalapalli},
359  title = {Development of SystemC Modules from HDL for System-on-Chip
360Applications},
361  year = {2004},
362  school = {University of Tennessee},
363  location = {Knoxville}
364}
365
366@inproceedings{verilog2sc,
367  author = {L. Mahmoudi Ayough, A. Haj Abutalebi, O. F. Nadjarbashi and S. Hessabi},
368  title  = {Verilog2SC: A Methodology for Converting Verilog. HDL to SystemC},
369  booktitle = {Proceedings of the 11th International HDL Conference (HDL Con 2002)},
370  pages =  {211-217},
371  location = {San Jose, California, USA},
372  year = {2002}
373}
374
375@report{verilator,
376  author = {W. Snyder},
377  title  = {Verilator Environment},
378  note = {in NASCUG},
379  year = {2004}
380}
381
382@inproceedings{AIRE,
383  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},
384  title = "Advanced Intermediate Representation with Extensibility (AIRE)",
385  booktitle = "VHDL Users' Group Fall 1996 Conference",
386  pages = {33-40},
387  year = {1996}
388}
389
390@inproceedings{savant,
391  author = {D. E. Martin and P. A. Wilsey and P. Chawla},
392  title  = {SAVANT: An Extensible Object-Oriented Intermediate for VHDL},
393  booktitle = "VHDL Users' Group",
394  year = {1996},
395  pages = {275-281}
396}
397
398@inproceedings{Sil,
399  author = {E. Molenkamp and G. E. Mekenkamp},
400  title = {Sil: an intermediate for syntax based VHDL synthesis},
401  booktitle = {VHDL International Users Forum},
402  pages = {5.1-5.9},
403  year = {1995}
404}
405
406@report{qualitative_subset,
407  author = {D. Déharbe and D. Borrione},
408  title = {A qualitative finite subset of VHDL and semantics},
409  organization = {IMAG Institute},
410  year = {1993}
411}
412
413@inproceedings{doh94,
414  author = {G. Döhmen},
415  title = {Petri Nets as Intermediate Representation Between VHDL and Symbolic
416Transition Systems},
417  booktitle = {EURO-VHDL},
418  pages = {572-577},
419  location = {Grenoble, France},
420  year = {1994}
421}
422
423@inproceedings{OC93,
424  author = {S. Olcoz and J.M. Colom},
425  title  = {A Petri Net Approach for the Analysis of VHDL Descriptions},
426  booktitle = {CHARME},
427  pages  = {15-26},
428  year   = {1993}
429}
430
431@inproceedings{semantics,
432  author = {L. Jacomme and F. Pétrot and R.K. Bawa},
433  title  = {Formal Analysis of Single Wait VHDL Processes for Semantic Based
434Synthesis},
435  booktitle = {12th International Conference on VLSI Design},
436  pages = {151-156},
437  location = {Goa, India},
438  year = {1999}
439}
440
441@inproceedings{EE95,
442  author = {A. Evans and E. Encrenaz},
443  title  = {An Approach to the Synthesis of VHDL Concurrent Processes as a
444FSM},
445  booktitle = {IFIP WG 10.5 Workshop on Logic and Architecture Synthesis},
446  pages = {115-124},
447  location = {Grenoble, France},
448  year = {1995}
449}
450
451@inproceedings{ALLIANCE,
452  author = {A. Greiner and F. Pêcheux},
453  title  = {ALLIANCE : A Complete Set of CAD Tools for Teaching VLSI Design},
454  booktitle = {The 3rd Eurochip Workshop on VLSI Design Training},
455  pages = {230-37},
456  location = {Grenoble, France},
457  year = {1992}
458}
459
460@inproceedings{RTL2CASS,
461  author = {R.K. Bawa and P. Guerrier and L. Jacomme and P. Bazargan-Sabet.},
462  title  = {An approach to behavioral synthesis from a formal model of vhdl},
463  booktitle = {VHDL International Users Forum},
464  pages = {117-126},
465  location = {Durham, Caroline du Nord, USA},
466  year = {1996}
467}
468
469@phdthesis{thesis_mouchard,
470  author= {Mouchard Gilles},
471  title = {Modélisation de Processeurs et de Systèmes},
472  year = {2004},
473  organization = "LRI"
474}
475
476@conference{PAPR1,
477  title = {Modular on chip multi processor for routing applications},
478  author = {E. Faure and D. Genius and F. Pétrot and S. Berrayana},
479  year = {2004},
480  month = september,
481  location = {Pise, Italie},
482  booktitle = {EUROPAR 04},
483  pages = {847-855}
484}
485
486@conference{PAPR2,
487  title = {Application télécom pour processeur réseau},
488  author = {E. Faure and S. Berrayana and D. Genius and F. Pétrot},
489  booktitle = {Sciences Electroniques Technologies de l'Information et des Télécommunications (SETIT'04)},
490  location = {Sousse, Tunisie},
491  month = {mars},
492  year = 2004
493}
494
495@conference{ROBDD1,
496        title = {Efficient implementation of a bdd package},
497  booktitle = {27th ACM/IEEE Design Automation Conference},
498  author = {Karl Brace and Richard Rudell and Randal Bryant},
499  pages = {677-691},
500  month = {August},
501  year = {1986}
502}
503
504@article{ROBDD2,
505        title = {Graph-based algorithms for boolean function manipulation},
506  author = {Randal Bryant},
507  booktitle = {IEEE Transaction on Computers},
508  pages = {677-691},
509  month = {August},
510  year = {1986}
511}
512
513@inproceedings{VHDL2SC,
514  title = {On the Reuse of VHDL Modules into SystemC Designs},
515  author = {N. Agliada and A. Fin and F. Fummi and M. Martignano and G. Pravdelli},
516  booktitle = {Forum on Design Languages (FDL01)},
517  year = {2001}
518}
519
520@inproceedings{stereovision,
521  title = "Mapping an Obstacles Detection, Stereo Vision-based, Software Application on a Multi-Processor System-on-chip",
522  author = {A. Greiner and F. Petrot and M. Carrier and M. Benabdenbi and R. Chotin-avot and R. Labayrade},
523  booktitle = {Proceedings of Intelligent Vehicles Symposium 2006},
524  publisher = {IEEE},
525  year = 2006,
526  month = June,
527  pages = {370-376}
528}
529
530@article{shannon,
531 author = {Bernard M. E. Moret},
532 title = {Decision Trees and Diagrams},
533 journal = {ACM Comput. Surv.},
534 volume = {14},
535 number = {4},
536 year = {1982},
537 issn = {0360-0300},
538 pages = {593--623},
539 doi = {http://doi.acm.org/10.1145/356893.356898},
540 publisher = {ACM Press},
541 address = {New York, NY, USA},
542 }
543
544
Note: See TracBrowser for help on using the repository browser.