An analog behavioral equivalence boundary search methodology for simulink models and circuit level designs utilizing evolutionary computation

被引:1
作者
Saglamdemir, Muharrem Orkun [1 ]
Berkol, Gonenc [1 ]
Dundar, Gunhan [1 ]
Sen, Alper [2 ]
机构
[1] Bogazici Univ, Dept Elect & Elect Engn, Istanbul, Turkey
[2] Bogazici Univ, Dept Comp Engn, Istanbul, Turkey
关键词
Behavioral equivalence checking; Model based design; Evolutionary computation; Simulink; Boundary search methodology;
D O I
10.1016/j.vlsi.2016.05.005
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We propose a simulation-based analog equivalence boundary search methodology for high level Simulink models and their low level HSpice counterparts. The equivalence of high and low level designs is determined by comparing a set of predefined performance parameters measured during the simulation of both models. Our methodology investigates the search space to obtain boundary of input parameters, where both models have equivalent performance parameters. We build an optimization problem, where the error percentage between the performance parameters of both models being less than a specified threshold is defined as success criteria. In this problem, input parameters are determined by utilizing evolutionary computation. At the end of the optimization, the border of equivalence for the models is found for input parameters satisfying the success criteria. We demonstrate the validity of our approach on three designs, an inverter, an operational amplifier, and a buck converter, where our approach proves to be an efficient tool in finding an equivalence boundary of analog circuits and models. (C) 2016 Elsevier B.V. All rights reserved.
引用
收藏
页码:366 / 375
页数:10
相关论文
共 18 条