Accelerating Comprehensive Specification Optimization of Analog Circuits Using Transient Assertions and Graph Neural Networks | IEEE Conference Publication | IEEE Xplore