-On [20040903 20:22], Matthew Dillon (dillon@apollo.backplane.com) wrote:
> Well, there are several languages used for describing hardware and/or
> simulating hardware, but none of them are really applicable for
> in-kernel use.
Are you talking about VHDLs here or more the formal method side (Maude,
ACL2, Z Notation, VDM)?
--
Jeroen Ruigrok van der Werven <asmodai(at)wxs.nl> / asmodai / kita no mono
Free Tibet! http://www.savetibet.org/ | http://www.tibet.nu/
http://www.tendra.org/ | http://www.in-nomine.org/
To the dull mind nature is leaden. To the illumined mind the whole world
burns and sparkles with light...