Rusinoff HDL(ID:3946/rus003)

LISP-like HDL by David Rusinoff, NASA 1993 based on Brock-Hunt HDL
Related languages
Brock-Hunt HDL => Rusinoff HDL   Augmentation of
References:
  • David M. Russinoff, "A Formal Language for the Specification and Verification of Synchronous and Asynchronous Circuits", NASA CR-191509, September 1993. view details Abstract: The purpose of this paper is to investigate the integration of these previous efforts in the design of an asynchronous Bysantine- resilient computing system. The ultimate goal is a formlally verified gate-level implementation.

    pdf