Logic Design of Digital Systems
Logic Design of Digital Systems
Interface, a dispersed architecture
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Computer system simulation with ASPOL
ANSS '73 Proceedings of the 1st symposium on Simulation of computer systems
Automated exploration of the design space for register-transfer (rt) systems.
Automated exploration of the design space for register-transfer (rt) systems.
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
IEEE Transactions on Computers
BCPL: a tool for compiler writing and system programming
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
A Behavioral Model for Co-design
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
HARPA: A hierarchical multi-level hardware description language
DAC '84 Proceedings of the 21st Design Automation Conference
Hi-index | 14.98 |
This paper describes the SLIDE language a hardware-descriptive language desigued for the description of input/output, interfaces, and interconnected digital systems. The language allows the description of asynchronous, concurrent processes which can communicate. Timing and synchronization mechanisms are capable of being described as well. Current research applications include the use of the SLIDE language for I/O simulation and for verification of synchronization mechanisms.