討論串finite state machine/automaton framework?
共 8 篇文章
內容預覽:
Matthew Dillon wrote:. > :Are you talking about VHDLs here or more the formal method side (Maude,. > :ACL2, Z Notation, VDM)?. > :. > :--. > :Jeroen R
(還有329個字)
內容預覽:
-On [20040903 20:22], Matthew Dillon (dillon@apollo.backplane.com) wrote:. > Well, there are several languages used for describing hardware and/or. >
(還有329個字)
內容預覽:
On Fri, 3 Sep 2004 20:05:08 +0200. "Simon 'corecode' Schubert" <corecode@fs.ei.tum.de> wrote:. > for example:. >. > state_idle:. > if:. > written_byte
(還有696個字)
內容預覽:
Well, there are several languages used for describing hardware and/or. simulating hardware, but none of them are really applicable for. in-kernel use.
(還有96個字)