1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
<HTML>
<HEAD>
<STYLE type="text/css">
H1 {color: black }
H2 {color: maroon }
H3 {color: #007090 }
A.head:link {color: #0060a0 }
A.head:visited {color: #3040c0 }
A.head:active {color: white }
A.head:hover {color: yellow }
A.red:link {color: red }
A.red:visited {color: maroon }
A.red:active {color: yellow }
</STYLE>
</HEAD>
<TITLE>Magic-7.3 Command Reference</TITLE>
<BODY BACKGROUND=../graphics/blpaper.gif>
<H1> <IMG SRC=../graphics/magic_title2.gif ALT="Magic VLSI Layout Tool Version 7.3">
<IMG SRC=../graphics/magic_OGL_sm.gif ALIGN="top" ALT="*"> </H1>
<H2>verify</H2>
<HR>
Make sure the current netlist is correctly wired
<HR>
<H3>Usage:</H3>
<BLOCKQUOTE>
<B>verify</B>
</BLOCKQUOTE>
<H3>Summary:</H3>
<BLOCKQUOTE>
The <B>verify</B> command checks the current netlist against
routing in the edit cell to ensure that all the nets are
implemented exactly as specified by the netlist. If correctly
verified, no action is taken. If problems are found, these
are highlighted with feedback entries.
</BLOCKQUOTE>
<H3>Implementation Notes:</H3>
<BLOCKQUOTE>
<B>verify</B> is implemented as a built-in <B>netlist</B>
window command in <B>magic</B>. It can only be invoked from
a window created with the <B>specialopen netlist</B> command.
</BLOCKQUOTE>
<P><IMG SRC=../graphics/line1.gif><P>
<TABLE BORDER=0>
<TR>
<TD> <A HREF=../commands.html>Return to command index</A>
</TR>
</TABLE>
<P><I>Last updated:</I> October, 2004<P>
</BODY>
</HTML>
|
