Searched refs:dot2k (Results 1 – 4 of 4) sorted by relevance
12 from rvgen.dot2k import dot2k46 monitor = dot2k(params.spec, params.monitor_type, vars(params))
21 $(INSTALL) rvgen/dot2k.py -D -m 644 $(DESTDIR)$(PYLIB)/rvgen/dot2k.py
4 The RV monitor file created by dot2k, with the name "$MODEL_NAME.c"115 dot2k automatically creates two special functions::142 is used to connect the wip model events to the relative kernel event. dot2k automatically
15 class dot2k(Monitor, Dot2c): class