ICCD 1993 - PDF Preprint Papers

ICCD 1993 International Conference on Computer Design

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICCD-1993 Paper

click to vote

ICCD
1993
IEEE

124views Hardware» more ICCD 1993»

Synthesis of Controllers from Interval Temporal Logic Specification

14 years 4 months ago

Download www.ie.u-ryukyu.ac.jp

for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...

Masahiro Fujita, Shinji Kono

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	124	Synthesis of Controllers from Interval Temporal Logic Specification	claim
2	111	Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation	claim
3	94	Symbolic Analysis Methods for Masks, Circuits, and Systems	claim
4	93	Derivation of a DRAM Memory Interface by Sequential Decomposition	claim
5	90	Subterranean: A 600 Mbit/Sec Cryptographic VLSI Chip	claim
6	84	Fast Timing Analysis for Hardware-Software Co-Synthesis	claim
7	80	An Efficient Unique State Coding Algorithm for Signal Transition Graphs	claim
8	75	A Recursive Technique for Computing Lower-Bound Performance of Schedules	claim
9	74	High Performance Embedded System Optimization Using Algebraic and Generalized Retiming Techniques	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers