Frederic Doucet

15 papers A 3C 1Misc 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2017 J jnl
A methodology to take credit for high-level verification during RTL verification.
Formal Methods Syst. Des.
Frederic Doucet, Robert P. Kurshan
2016 — conf
Designing high-quality hardware on a development effort budget: A study of the current state of high-level synthesis.
ASP-DAC
Zelei Sun, Keith A. Campbell, Wei Zuo, Kyle Rupnow, Swathi T. Gurumani, Frederic Doucet, Deming Chen
2007 — conf
Reactivity in SystemC Transaction-Level Models.
Haifa Verification Conference
Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta
2006 C conf
Compositional interaction specifications for SystemC.
MEMOCODE
Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar
2005 — conf
A Verification Approach for GALS Integration of Synchronous Components.
FMGALS@MEMOCODE
Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin
2004 J jnl
Formal Refinement Checking in a System-level Design Methodology.
Fundam. Informaticae
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
2003 J jnl
BALBOA: a component-based design environment for system models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Frederic Doucet, Sandeep K. Shukla, Masato Otsuka, Rajesh K. Gupta
2003 A conf
Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated.
DATE
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta
2003 — conf
Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.
ACSD
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
2003 A conf
Polychrony for Refinement-Based Design.
DATE
Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet
2003 — conf
Typing abstractions and management in a component framework.
ASP-DAC
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta
2002 A conf
An Environment for Dynamic Component Composition for Efficient Co-Design .
DATE
Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta, Masato Otsuka
2002 Misc conf
Structured Component Composition Frameworks for Embedded System Design.
HiPC
Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta
2001 — conf
Interoperability as a design issue in C++ based modeling environments.
ISSS
Frederic Doucet, Rajesh K. Gupta, Masato Otsuka, Patrick Schaumont, Sandeep K. Shukla
2000 — conf
YAML: A Tool for Hardware Design Visualization and Capture.
ISSS
Vivek Sinha, Frederic Doucet, Chuck Siska, Rajesh K. Gupta, Stan Y. Liao, Abhijit Ghosh