Stem saniti$ (all stems)

3 papers:

SEFM-2012-BarnatBB #requirements

Checking Sanity of Software Requirements (JB, PB, LB), pp. 48–62.

PEPM-2009-SalamaMTGO #consistency #dependent type #using

Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions (CS, GM, WT, JG, JO), pp. 121–130.

DATE-v2-2004-NardiS #synthesis

Synthesis for Manufacturability: A Sanity Check (AN, ALSV), pp. 796–803.