Dedicated to the support, open exchange and dissemination of in-development standards from EDA Industry Working Groups The Electronic Design Automation (EDA) and Electronic Computer-Aided Design (ECAD) one-stop resource on the WWW! (with a historical f
Augmenting Hardware Design with Functional Languages. A series of functional languages for hardware design. Confluence and HDLcaml (sp?) were based on OCaml, the newest called "Atom" is based on Haskell.
From the page: Still not sure what BitScope is? BitScope is a built and tested (and previously build it yourself DIY), open design, digital storage oscilloscope and logic analyzer (also, digital sampling oscilloscope, mixed signal oscilloscope).