Analog layer extensions for analog/mixed-signal assertion languages | IEEE Conference Publication | IEEE Xplore