* HDCaml 0.2.5 -- SystemC Support
@ 2005-11-23 22:00 Tom Hawkins
0 siblings, 0 replies; only message in thread
From: Tom Hawkins @ 2005-11-23 22:00 UTC (permalink / raw)
To: cf-user Mailing List, caml-list
HDCaml is a hardware design and verification language embedded in OCaml.
With release 0.2.5, HDCaml now produces cycle and bit accurate C models
for simulation. In addition to the logic primitives, the C models also
support basic assertions of the form:
assertion "label" (always (prop (some_signal)));
The C models include a SystemC wrapper for integration into any SystemC
environment. The wrapper is currently untested, so feedback from any
SystemC user is appreciated. Thanks!
http://www.confluent.org/
-Tom
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-11-23 22:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-11-23 22:00 HDCaml 0.2.5 -- SystemC Support Tom Hawkins
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).