Skip to main content
Article thumbnail
Location of Repository

T.: Randomized simulation of hybrid systems for circuit validation

By Thao Dang and Tarik Nahhal

Abstract

Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-exploring Random Trees), a probabilistic path/motion planning technique in robotics with a special property that allows to guarantee a good coverage quality. We focus on investigating conditions for preserving this coverage property and develop a variant of the classic RRTs which is more time-efficient. These results enabled us to implement a prototype tool that can handle high dimensional hybrid models.

Year: 2006
OAI identifier: oai:CiteSeerX.psu:10.1.1.134.3722
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www-verimag.imag.fr/~td... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.