Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
examples/ex{2,3}
)Fsm.mealy_outps
and Fsm.moore_outps
to move output valuations from state to transitions and vice versaint
type (ex: var k: int<0..7>
)Fsm.defactorize
to defactorize an FSM wrt. to local variables (see examples/ex5
)utop
toplevel (which can be used, for instance, to evaluate the examples in ./examples/*
interactively)C.write
and Vhdl.write
c
and vhdl
subdirs