d-m-bailey / cvc

CVC: Circuit Validity Checker. Check for errors in CDL netlist.
GNU General Public License v3.0
21 stars 3 forks source link

min/max propagation and backbias #209

Open d-m-bailey opened 4 years ago

d-m-bailey commented 4 years ago

currently min/max propagation proceeds irrespective of bias connections.

explore the possibility of stopping max propagation from pmos drain -> source/bias and min propagation nmos drain -> source/bias