Stem saniti$ (all stems)
- 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.