A Tutorial on Lava: A Hardware Description and Verification System
暂无分享，去创建一个
[1] Mary Sheeran. UpsilonFP : An algebraic VLSI design language , 1983 .
[2] John J. O'Donnell. From Transistors to Computer Architecture: Teaching Functional Circuit Specification in Hydra , 1995, FPLE.
[3] Steven D. Johnson. Synthesis of digital designs from recursion equations , 1983 .
[4] Mary Sheeran,et al. Lava: hardware design in Haskell , 1998, ICFP '98.
[5] John Launchbury,et al. Elementary Microarchitecture Algebra , 1999, CAV.
[6] Mary Sheeran,et al. muFP, a language for VLSI design , 1984, LFP '84.
[7] Mary Sheeran,et al. Computer-based tools for regular array design , 1990 .
[8] M. Sheeran,et al. Theoretical Foundations of VLSI Design: Describing and reasoning about circuits using relations , 1990 .
[9] Mary Sheeran,et al. Puzzling Permutations , 1996 .
[10] J. Tukey,et al. An algorithm for the machine calculation of complex Fourier series , 1965 .
[11] Mary Sheeran,et al. Designing Regular Array Architectures using Higher Order Functions , 1985, FPCA.
[12] M PaulHudakEt,et al. Report on the programming language haskell: a non-strict , 1992 .
[13] Kenneth E. Batcher,et al. Sorting networks and their applications , 1968, AFIPS Spring Joint Computing Conference.
[14] John Hughes,et al. Report on the Programming Language Haskell 98 , 1999 .
[15] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.