Sciweavers

RECOSOC
2007
118views Hardware» more  RECOSOC 2007»
13 years 6 months ago
Latch Inference for Equivalence Checking
A method for inferring latches from combinational loops in a netlist using boolean equations is proposed in this paper. The method takes advantage of the solutions structure of th...
Anatol Ursu
ICCAD
1994
IEEE
117views Hardware» more  ICCAD 1994»
13 years 9 months ago
Optimal latch mapping and retiming within a tree
We propose a technology mapping algorithm that takes existing structural technology-mapping algorithms based on dynamic programming [1,3,4] and extends them to retime pipelined cir...
Joel Grodstein, Eric Lehman, Heather Harkness, Her...
ISVLSI
2006
IEEE
77views VLSI» more  ISVLSI 2006»
13 years 11 months ago
A Robust Synchronizer
We describe a new latch circuit designed to give a high performance in low voltage synchronizer applications. By increasing the latch current only during metastability, we can mor...
Jun Zhou, David Kinniment, Gordon Russell, Alexand...
IROS
2007
IEEE
85views Robotics» more  IROS 2007»
13 years 11 months ago
Electrostatic latching for inter-module adhesion, power transfer, and communication in modular robots
— A simple and robust inter-module latch is possibly the most important component of a modular robotic system. This paper describes a latch based on electric fields and capaciti...
Mustafa Emre Karagozler, Jason Campbell, Gary K. F...
DATE
2008
IEEE
92views Hardware» more  DATE 2008»
13 years 11 months ago
Latch Modeling for Statistical Timing Analysis
—Latch based circuits are widely adopted in high performance circuits. But there is a lack of accurate latch models for doing timing analysis. In this paper, we propose a new lat...
Sean X. Shi, Anand Ramalingam, Daifeng Wang, David...