Presentation | 2012-07-03 Finding All Solutions of Piecewise-Linear Circuits Using SCIP Kiyotaka YAMAMURA, Takayuki ISHII, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Finding all DC solutions of nonlinear circuits is an important problem in circuit simulation. Various algorithms have been proposed for this problem. However, the implementation of these algorithms is generally difficult for non-experts or beginners. In this paper, we propose a new method for finding all solutions of piecewise-linear circuits using integer programming. In this method, we formulate the problem of finding all solutions by a mixed integer programming problem, and solve it by a high-performance integer programming solver such as SCIP or CPLEX. It is shown that the proposed method can be easily implemented without making complicated programs. It is also confirmed by numerical examples that the proposed method can find all solutions of medium-scale circuits in practical computation time. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | piecewise-linear circuit / circuit simulation / finding all solutions / integer programming |
Paper # | CAS2012-20,VLD2012-30,SIP2012-52,MSS2012-20 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2012/6/25(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Mathematical Systems Science and its applications(MSS) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Finding All Solutions of Piecewise-Linear Circuits Using SCIP |
Sub Title (in English) | |
Keyword(1) | piecewise-linear circuit |
Keyword(2) | circuit simulation |
Keyword(3) | finding all solutions |
Keyword(4) | integer programming |
1st Author's Name | Kiyotaka YAMAMURA |
1st Author's Affiliation | Chuo University() |
2nd Author's Name | Takayuki ISHII |
2nd Author's Affiliation | Chuo University |
Date | 2012-07-03 |
Paper # | CAS2012-20,VLD2012-30,SIP2012-52,MSS2012-20 |
Volume (vol) | vol.112 |
Number (no) | 116 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |