Harry Hsieh

Yosinori Watanabe

Des. Autom. Embed. Syst., 2009

Memory subsystem simulation in software TLM/T models.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

Fast and accurate performance simulation of embedded software for MPSoC.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

Partial order method for timed simulation of system-level MPSoC designs.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2008

Software optimization for MPSoC: a mpeg-2 decoder case study.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007

Automatic buffer sizing for rate-constrained KPN applications on multiprocessor system-on-chip.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Framework for fast and accurate performance simulation of multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Bridging RTL and gate: correlating different levels of abstraction for design debugging.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006

Verification Approach of Metropolis Design Framework for Embedded Systems.

[BibT_eX]

[DOI]

Xi Chen

Int. J. Parallel Program., 2006

Runtime Deadlock Analysis of SystemC Designs.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

Communication and co-simulation infrastructure for heterogeneous system integration.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

eBlocks - an enabling technology for basic sensor based systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

Assertion-Based Design Exploration of DVS in Network Processor Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

System Synthesis for Networks of Programmable Blocks.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

Simulation based deadlock analysis for system level designs.

[BibT_eX]

[DOI]

Xi Chen

Abhijit Davare

Yosinori Watanabe

Proceedings of the 42nd Design Automation Conference, 2005

2004

Logic of constraints: a quantitative performance and functional constraint formalism.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

Assertion Based Verification and Analysis of Network Processor Architectures.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2004

Assertion-based power/performance analysis of network processor architectures.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

Utilizing Formal Assertions for System Design of Network Processors.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

2003

Formal Verification for Embedded System Designs.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2003

Metropolis: An Integrated Electronic System Design Environment.

[BibT_eX]

[DOI]

Computer, 2003

Verifying LOC based functional and performance constraints.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

Automatic Generation of Simulation Monitors from Quantitative Constraint Formula.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

Automatic trace analysis for logic of constraints.

[BibT_eX]

[DOI]

Proceedings of the 40th Design Automation Conference, 2003

First results with eBlocks: embedded systems building blocks.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003

Case Studies of Model Checking for Embedded System Designs.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Simulation Trace Verification for Quantitative Constraints.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software for SoC, 2003

2002

Formal verification of embedded system designs at multiple levels of abstraction.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

Synchronous approach to the functional equivalence of embeddedsystem implementations.

[BibT_eX]

[DOI]

Luciano Lavagno

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

2000

Refining abstract equivalence analysis for embedded system design.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

Efficient methods for embedded system design space exploration.

[BibT_eX]

[DOI]

Luciano Lavagno

Proceedings of the 37th Conference on Design Automation, 2000

1999

Synthesis of software programs for embedded control applications.

[BibT_eX]

[DOI]

Ellen Sentovich

Kei Suzuki

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Synchronous equivalence for embedded systems: a tool for design exploration.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1997

Modeling micro-controller peripherals for high-level co-simulation and synthesis.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

1996

A case study in computer-aided co-design of embedded controllers.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 1996

Formal Verification of Embedded Systems based on CFSM Networks.

[BibT_eX]

[DOI]

Proceedings of the 33st Conference on Design Automation, 1996

1995

Synthesis of Software Programs for Embedded Control Applications.

[BibT_eX]

[DOI]

Ellen Sentovich

Proceedings of the 32st Conference on Design Automation, 1995

1994

Hardware-software codesign of embedded systems.

[BibT_eX]

[DOI]

Luciano Lavagno

IEEE Micro, 1994

A case study in computer-aided codesign of embedded controllers.

[BibT_eX]

[DOI]