Exploració per autor "Peña Basurto, Marco Antonio"
Ara es mostren els items 1-10 de 10
-
A case study for the verification of complex timed circuits: IPCMOS
(Institute of Electrical and Electronics Engineers (IEEE), 2002)
Text en actes de congrés
Accés obertThe verification of a n-stage pulse-driven IPCMOS pipeline, for any n>0, is presented. The complexity of the system is 32n transistors and delay information is provided at the level of transistor The correctness of the ... -
Automatic generation of synchronous test patterns for asynchronous circuits
(Institute of Electrical and Electronics Engineers (IEEE), 1997)
Text en actes de congrés
Accés obertThis paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exercised by applying synchronous test vectors, ... -
Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits
(Institute of Electrical and Electronics Engineers (IEEE), 1996)
Text en actes de congrés
Accés obertThis paper presents a new methodology to automatically synthesize asynchronous circuits from descriptions based on process algebra. Traditionally, syntax-directed techniques have been used to generate a netlist of basic ... -
Flujo de diseño asíncrono con la biblioteca DCVSL_LIB para ES2 ECPD10
(Omron, 1996)
Text en actes de congrés
Accés obertEn el presente trabajo se pretende abordar la metodología a seguir durante el flujo de diseño de un circuito asíncrono orientado a prestaciones, utilizando la biblioteca DCVSL_LIB para aplicaciones asíncronas que hemos ... -
Formal verification of safety properties in timed circuits
(Institute of Electrical and Electronics Engineers (IEEE), 2000)
Text en actes de congrés
Accés obertThe incorporation of timing makes circuit verification computationally expensive. This paper proposes a new approach for the verification of timed circuits. Rather than calculating the exact timed stare space, a conservative ... -
Introducción a la programación en C
(Edicions UPC, 2000)
Llibre
Accés restringit a la comunitat UPCTexto de introducción a la programación usando el lenguaje C, centrado en la exposición de los aspectos fundamentales del estándar ANSI C actual. Si bien en la actualidad existen otros lenguajes de programación muy populares, ... -
Partial order based approach to synthesis of speed-independent circuits
(Institute of Electrical and Electronics Engineers (IEEE), 1997)
Text en actes de congrés
Accés obertThis paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the form of the STG-unfolding segment to derive ... -
Programación VLSI y síntesis de circuitos asíncronos mediante composición de redes de Petri
(1995)
Text en actes de congrés
Accés obertTangram es un lenguaje de programación VLSI traducible automáticamente a redes de módulos asíncronos llamados componentes de sincronización. En este artículo se usan los Grafos de Transiciones de Señales (STGs) para describir ... -
Structural methods to improve the symbolic analysis of Petri nets
(Springer, 1999)
Text en actes de congrés
Accés obertSymbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an efficient strategy for the analysis of Petri nets. The existing techniques for the symbolic encoding of each marking use a fixed set of variables ... -
Synthesis of speed-independent circuits from STG-unfolding segment
(Institute of Electrical and Electronics Engineers (IEEE), 1997)
Text en actes de congrés
Accés obertThis paper presents a novel technique for synthesis of speed-independent circuits. It is based on partial order representation of the state graph called STG-unfolding segment. The new method uses approximation technique ...
