Sciweavers

18 search results - page 2 / 4
» ifip 1993
Sort
View
IFIP
1993
Springer
13 years 8 months ago
A Synthetic Reasoning Method for Conceptual Design
Masaki Ishii, Tetsuo Tomiyama, Hiroyuki Yoshikawa
IFIP
1993
Springer
13 years 8 months ago
Self-Timed Architecture of a Reduced Instruction Set Computer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
Ilana David, Ran Ginosar, Michael Yoeli