An integrated design and verification methodology for reconfigurable multimedia systems

Proceedings -Design, Automation and Test in Europe, DATE '05

Volumn 2005, Issue , 2005, Pages 266-271

  Borgatti, M ^a   Capello, A ^a   Rossi, U ^a   Lambert, J L ^b   Moussa, I ^b   Fummi, F ^c   Pravadelli, G ^c  

^a STMICROELECTRONICS   (Italy)

^b TNI Valysosys ^*  (France)

^c UNIVERSITY OF VERONA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED DESIGN; COMPUTER HARDWARE; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; COMPUTER SYSTEMS; PORTABLE EQUIPMENT; PRODUCT DESIGN;

COMPUTING ENGINE; PORTABLE APPLIANCES; RECONFIGURABLE MULTIMEDIA SYSTEMS; SYMBAD PROJECT;

MULTIMEDIA SYSTEMS;

EID: 33646941895     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2005.61     Document Type: Conference Paper

References (13)

1. D.Panigrahi. C.N.Taylor, S.Dey, "A Hardware/Software Reconfigurable Architecture for Adaptive Wireless Image Communication", Proc. ASP-DAC, pp.553-560, 2002.
2. Y.Li, T.Callahan, E.Darnell. R.Harr-, U.Kurkure, J.Stockwood. "Hardware-software co-design of embedded reconfigurable architectures", Proc. DAC, pp. 507-512, 2000.
3. D.Verkest; D.Desmet: P.Avasare; P.Coene; S.Decneut; F.Hendrickx; T.Marescaux; J.Y.Mignolet; R.Pasko; P.Schaumont: "Design of a Secure, Intelligent, and Reconfigu-rable Web Cam Using a C Based System Design Flow", Proc. Asilomar Conference on Signals Systems & Computers, pp. 463-467, 2001.
4. I. Moussa, T. Grellier, and G. Nguyen, "Exploring SW Performance using SoC Transaction-level Modelling", Proc. DATE, pp. 120-125, 2003
5. A.Fin, F.Fummi, "Laerte++: an Object Oriented High-Level TPG for SystemC Designs", Proc. FDL, 2003.
6. F. Ferrandi, F. Fummi, and D. Sciuto, "Implicit Test Generation for Behavioral VHDL Models", Proc. ITC, pp. 436-441, 1998.
7. S. Dellacherie, S. Devulder, and J-L. Lambert, "Software verification based on linear programming", LNCS, Vol. 1709, pp. 1147-1165, 1999
8. K.L.McMillan, "Symbolic Model Checking", Academic Press, Norwell, MA, 1993.
9. I.Beer, S.Ben-David, C.Eisner, A.Landver, "Rulebase, an Industry-Oriented Formal Verification Tool", Proc. DAC, pp. 655-660, 1996.
10. Y.Hoskote, T.Kam, P.H.Ho, X.Zao, "Coverage Extimation for Symbolic Model Checking", Proc. DAC, pp. 300-305, 1999.
11. S.Katz, O.Grumberg, D.Geist, "Have I Written Enough Properties? - A Method of Comparison between Specification and Implementation", Proc. CHARME, pp. 280-297, 1999.
12. H.Chockler, O.Kupferman, R.P.Kurshan, M.Y. Vardi, "A Practical Approach to Coverage in Model Checking", Proc. CAV. pp. 66-78, 2001.
13. A.Fedeli, F.Fummi, G.Pravadelli, U.Rossi, F.Toto, "On the Use of a High-level Fault Model to Check Properties Incompleteness", Proc. MEMOCODE, pp. 145-152, 2003