电路的源设计的实现后掩蔽验证

一种用于电路的源设计的实现后掩蔽验证的方法包括：接收电路的具有掩蔽的源设计的门级网表；以及关于输入的掩蔽破坏来评估源设计的网表的中间网络。针对与该电路的该源设计的该网表的该输入相关联的每个隐式输入，执行关于输入的掩蔽破坏来评估该源设计的该网表的中间网络。对于每个隐式输入，每个隐式输入的份额的M个随机值中的每个随机值被应用为该网表的输入。当使用跟踪的中间网络值确定该网表的该中间网络不满足掩蔽标准时，指示该网表的该中间网络被破坏。