"[089440003D0A]" . . "Z(MSM6840770014)" . "391463" . "The Random FSM Generator is an easy-to-use tool for generating parameterized finite state machines (FSMs) described in the KISS format. It is capable of producing large automata of different types, while consistency, connectivity, and accessibility of states is kept. Very big emphasis is put on parameterization - parameters, like the number of inputs, outputs, states, the KISS file terms, percentages of 1s, 0s, don't cares, etc. can be specified by the user."@en . . "2"^^ . "The Random FSM Generator is an easy-to-use tool for generating parameterized finite state machines (FSMs) described in the KISS format. It is capable of producing large automata of different types, while consistency, connectivity, and accessibility of states is kept. Very big emphasis is put on parameterization - parameters, like the number of inputs, outputs, states, the KISS file terms, percentages of 1s, 0s, don't cares, etc. can be specified by the user." . "21240" . "1"^^ . "nejsou stanoveny" . "Random FSM Generator" . "http://service.felk.cvut.cz/vlsi/prj/Circ_Gen/kiss.html, pou\u017E\u00EDv\u00E1: Pavel Kubal\u00EDk, Jaroslav Boreck\u00FD, Karel Hou\u017Evi\u010Dka" . . "KISS_gen" . "M\u011Bchura, T." . "RIV/68407700:21240/08:00191845" . . "FSM, random generation, consistency check"@en . . "Random FSM Generator"@en . "software, freeware" . "RIV/68407700:21240/08:00191845!RIV12-MSM-21240___" . . . . "http://service.felk.cvut.cz/vlsi/prj/Circ_Gen/kiss.html" . . . . . . . . . "Random FSM Generator"@en . "Fi\u0161er, Petr" . "Random FSM Generator" . .