Sciweavers

1093 search results - page 160 / 219
» Verifying VLSI Circuits
Sort
View
ASPDAC
1998
ACM
74views Hardware» more  ASPDAC 1998»
14 years 1 months ago
Delay and Noise Formulas for Capacitively Coupled Distributed RC Lines
— Simple yet useful analytical formulas for delay, slope and crosstalk noise amplitude for capacitively coupled two-, three- and infinite-line systems are derived assuming bus li...
Hiroshi Kawaguchi, Takayasu Sakurai
IPPS
1997
IEEE
14 years 1 months ago
Parallel Simulated Annealing: An Adaptive Approach
This paper analyses alternatives for the parallelization of the Simulated Annealing algorithm when applied to the placement of modules in a VLSI circuit considering the use of PVM...
Jonas Knopman, Júlio S. Aude
ICRA
2000
IEEE
124views Robotics» more  ICRA 2000»
14 years 13 days ago
Design of a Cricket Microrobot
Our goal is to develop an autonomous robot that will fit within a two-inch cube and will locomote by walking and jumping. The robot will be based on the kinematics of a cricket. I...
Matthew C. Birch, Roger D. Quinn, Geon Hahm, Steph...
WSC
2007
13 years 11 months ago
Optimizing time warp simulation with reinforcement learning techniques
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
Jun Wang, Carl Tropper
ASPDAC
2005
ACM
98views Hardware» more  ASPDAC 2005»
13 years 10 months ago
Process variation robust clock tree routing
As the minimum feature sizes of VLSI circuits get smaller while the clock frequency increases, the effects of process variations become significant. We propose a UST/DME based ap...
Wai-Ching Douglas Lam, Cheng-Kok Koh