کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4970694 1450226 2017 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Exploiting bounds optimization for the semi-formal verification of analog circuits
ترجمه فارسی عنوان
استفاده از بهینه سازی محدوده برای تایید نیمه رسمی مدارهای آنالوگ
کلمات کلیدی
ترجمه چکیده
این مقاله یک روش نیمه رسمی برای مدل سازی و تایید خواص رفتاری مدارهای آنالوگ با استفاده از تکنیک های بهینه سازی چند متغیره ارائه می دهد. مدل های دیفرانسیل مدار آنالوگ به صورت خودکار استخراج می شوند و رفتار کیفی آنها برای پارامترهای برازش، ورودی و شرایط اولیه محاسبه می شود. این روش مزیت تضمین محدوده خشن از هرگونه رفتار دینامیکی مدارهای آنالوگ را دارد. سپس خواص رفتاری مدار بر روی مرزهای پاسخ گذار تولید شده تأیید می شود. نتایج تجربی نشان می دهد که پاکت های متغیر حالت حاصل می تواند به طور موثر برای بررسی صحیح خواص مدار آنالوگ در یک زمان قابل قبول مورد استفاده قرار گیرد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر سخت افزارها و معماری
چکیده انگلیسی
This paper proposes a semi-formal methodology for modeling and verification of analog circuits behavioral properties using multivariate optimization techniques. Analog circuit differential models are automatically extracted and their qualitative behavior is computed for interval-valued parameters, inputs and initial conditions. The method has the advantage of guaranteeing the rough enclosure of any possible dynamical behavior of analog circuits. The circuit behavioral properties are then verified on the generated transient response bounds. Experimental results show that the resulting state variable envelopes can be effectively employed for a sound verification of analog circuit properties, in an acceptable run-time.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Integration, the VLSI Journal - Volume 59, September 2017, Pages 135-147
نویسندگان
, , , ,