Home // International Journal On Advances in Software, volume 10, numbers 1 and 2, 2017 // View article

Template Based Automatic Generation of DRC and LVS Runsets

Authors:
Elena Ravve

Keywords: Design Rule Manuscript; Design Rule Checker Runset; Layout versus Schematic Runset; Test Cases; Templates; Automatic Generation.

Abstract:
In this paper, we make the first step toward automatic design, implementation and verification of software products. The problem strongly depends upon the specification of the product. Our special case under consideration is writing of Design Rule Checker and Layout Versus Schematic runsets for verification of layouts of electronic devices. Design Rule Checker is a program that guarantees that the chip may be manufactured as a set of polygons of different chemical materials. Layout Versus Schematic comparison determines one-to-one equivalency between a circuit schematic and its layout. We propose a method to compose design rule manuscript (specification of the runsets) in the way that totally automatizes design, implementation and verification steps of the runsets development as well as significantly improves their maintenance. We plan to extend our methodology to other special cases of software products.

Pages: 143 to 154

Copyright: Copyright (c) to authors, 2017. Used with permission.

Publication date: June 30, 2017

Published in: journal

ISSN: 1942-2628