Home
last modified time | relevance | path

Searched defs:model_undef (Results 1 – 3 of 3) sorted by relevance

/dports/cad/yosys/yosys-yosys-0.12/passes/equiv/
H A Dequiv_induct.cc203 bool model_undef = false; in execute() local
H A Dequiv_simple.cc307 bool verbose = false, short_cones = false, model_undef = false, nogroup = false; in execute() local
/dports/cad/yosys/yosys-yosys-0.12/kernel/
H A Dsatgen.h75 bool model_undef; member