Sciweavers

29908 search results - page 566 / 5982
» On the Complexity of
Sort
View
3DPVT
2002
IEEE
16 years 6 days ago
Filling Holes in Complex Surfaces using Volumetric Diffusion
James Davis, Stephen R. Marschner, Matt Garr, Marc...
DATE
2002
IEEE
108views Hardware» more  DATE 2002»
16 years 5 days ago
A Case Study for the Verification of Complex Timed Circuits: IPCMOS
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
Marco A. Peña, Jordi Cortadella, Alexander ...
DSD
2002
IEEE
86views Hardware» more  DSD 2002»
16 years 5 days ago
Using Formal Tools to Study Complex Circuits Behaviour
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
Paul Amblard, Fabienne Lagnier, Michel Lévy