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
56
57
58
59
60
61
62
63
|
source $drc_test_source
target $drc_test_target
if $drc_test_deep
deep
threads(0) # easier to debug
end
l1 = input(1, 0)
l2 = input(2, 0)
l3 = input(3, 0)
l1.output(1, 0)
l2.output(2, 0)
l3.output(3, 0)
# predicates and logical operations
l1.drc(rectangles).output(100, 0)
l1.drc(primary.rectangles).output(101, 0)
l2.drc(secondary(l1).rectangles).output(102, 0)
l1.drc(squares).output(103, 0)
l1.drc(primary.squares).output(104, 0)
l2.drc(secondary(l1).squares).output(105, 0)
l1.drc(rectilinear).output(110, 0)
l1.drc(primary.rectilinear).output(111, 0)
l2.drc(secondary(l1).rectilinear).output(112, 0)
l1.drc(area > 3.0).output(120, 0)
l1.drc(area >= 3.0).output(121, 0)
l1.drc(3.0 <= area < 4.0).output(122, 0)
l1.drc(perimeter > 7.0).output(130, 0)
l1.drc(perimeter >= 7.0).output(131, 0)
l1.drc(7.0 <= perimeter < 8.0).output(132, 0)
l1.drc(! rectilinear).output(140, 0)
l1.drc(! rectangles).output(141, 0)
l1.drc(if_all(! rectangles, area < 8.0)).output(150, 0)
l1.drc(if_any(rectangles, area >= 8.0)).output(151, 0)
l1.drc(if_any(corners.count > 4)).output(160, 0)
l1.drc(if_any(corners.count == 4)).output(161, 0)
l1.drc(switch(! rectangles, primary.sized(100.nm))).output(170, 0)
l1.drc(switch(! rectangles, primary.sized(100.nm), primary.sized(200.nm))).output(171, 0)
error = ""
begin
l1.drc(switch(! rectangles, primary.sized(100.nm), squares, primary.sized(200.nm).edges))
rescue => ex
error = ex.to_s
end
if error != "'drc': All result arguments of 'switch' need to render the same type (got 'Region,Edges')"
raise "switch did not give the right error when having different types. Was:\n" + error
end
l1.drc(switch(! rectangles, primary.sized(100.nm), squares, primary.sized(200.nm))).output(172, 0)
l1.drc(switch(! rectangles, primary.sized(100.nm), squares, primary.sized(200.nm), primary)).output(173, 0)
|
