FSM model abstraction for analog/mixed-signal circuits by learning from I/O trajectories | IEEE Conference Publication | IEEE Xplore