diff --git a/alliance/share/cells/sxlib/CATAL b/alliance/share/cells/sxlib/CATAL
index a0949daa..e9817c64 100644
--- a/alliance/share/cells/sxlib/CATAL
+++ b/alliance/share/cells/sxlib/CATAL
@@ -4,6 +4,10 @@ a3_x2 C
 a3_x4 C
 a4_x2 C
 a4_x4 C
+ao22_x2 C
+ao22_x4 C
+ao2o22_x2 C
+ao2o22_x4 C
 buf_x2 C
 buf_x4 C
 buf_x8 C
@@ -19,6 +23,8 @@ na3_x1 C
 na3_x4 C
 na4_x1 C
 na4_x4 C
+nao22_x1 C
+nao22_x4 C
 nao2o22_x1 C
 nao2o22_x4 C
 nmx2_x1 C
@@ -29,6 +35,8 @@ no3_x1 C
 no3_x4 C
 no4_x1 C
 no4_x4 C
+noa22_x1 C
+noa22_x4 C
 noa2a22_x1 C
 noa2a22_x4 C
 nts_x1 C
@@ -41,17 +49,19 @@ o3_x2 C
 o3_x4 C
 o4_x2 C
 o4_x4 C
+oa22_x2 C
+oa22_x4 C
+oa2a22_x2 C
+oa2a22_x4 C
 one_x0 C
+rowend_x0 C
 sff1_x4 C
 sff2_x4 C
+tie_x0 C
 ts_x4 C
 ts_x8 C
 xr2_x1 C
 xr2_x4 C
 zero_x0 C
-one_x0.ap F
-zero_x0.ap F
-rowend_x0 C
-tie_x0 C
 rowend_x0 F
 tie_x0 F
diff --git a/alliance/share/cells/sxlib/a2_x2.al b/alliance/share/cells/sxlib/a2_x2.al
index 88a2d690..9619f876 100644
--- a/alliance/share/cells/sxlib/a2_x2.al
+++ b/alliance/share/cells/sxlib/a2_x2.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H a2_x2,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,7
-C i1,UNKNOWN,EXTERNAL,6
-C q,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,5
-C vss,UNKNOWN,EXTERNAL,4
+H a2_x2,L,27/ 9/99
+C i0,IN,EXTERNAL,7
+C i1,IN,EXTERNAL,6
+C q,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,5
+C vss,IN,EXTERNAL,4
 T P,0.35,5.9,1,2,5,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00006
 T P,0.35,2.9,5,6,2,0,0.75,0.75,7.3,7.3,3.6,11.25,tr_00005
 T P,0.35,2.9,2,7,5,0,0.75,0.75,7.3,7.3,1.8,11.25,tr_00004
diff --git a/alliance/share/cells/sxlib/a2_x2.vbe b/alliance/share/cells/sxlib/a2_x2.vbe
index 2b20a99d..8d9fa88b 100644
--- a/alliance/share/cells/sxlib/a2_x2.vbe
+++ b/alliance/share/cells/sxlib/a2_x2.vbe
@@ -25,5 +25,8 @@ END a2_x2;
 ARCHITECTURE behaviour_data_flow OF a2_x2 IS
 
 BEGIN
-q <= (i0 and i1) after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on a2_x2"
+  SEVERITY WARNING;
+  q <= (i0 and i1) after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/a2_x4.al b/alliance/share/cells/sxlib/a2_x4.al
index 81c9ed0f..ad94bea2 100644
--- a/alliance/share/cells/sxlib/a2_x4.al
+++ b/alliance/share/cells/sxlib/a2_x4.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H a2_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,7
-C i1,UNKNOWN,EXTERNAL,6
-C q,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,5
-C vss,UNKNOWN,EXTERNAL,1
+H a2_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,7
+C i1,IN,EXTERNAL,6
+C q,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,5
+C vss,IN,EXTERNAL,1
 T P,0.35,5.9,2,4,5,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00008
 T P,0.35,5.9,5,4,2,0,0.75,0.75,13.3,13.3,7.2,11.25,tr_00007
 T P,0.35,2.9,5,6,4,0,0.75,0.75,7.3,7.3,3.6,11.25,tr_00006
diff --git a/alliance/share/cells/sxlib/a2_x4.vbe b/alliance/share/cells/sxlib/a2_x4.vbe
index b9f9f850..ccaaf98d 100644
--- a/alliance/share/cells/sxlib/a2_x4.vbe
+++ b/alliance/share/cells/sxlib/a2_x4.vbe
@@ -25,5 +25,8 @@ END a2_x4;
 ARCHITECTURE behaviour_data_flow OF a2_x4 IS
 
 BEGIN
-q <= (i0 and i1) after 1100 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on a2_x4"
+  SEVERITY WARNING;
+  q <= (i0 and i1) after 1100 ps;
 END;
diff --git a/alliance/share/cells/sxlib/a3_x2.al b/alliance/share/cells/sxlib/a3_x2.al
index 45573db6..e3fd0db8 100644
--- a/alliance/share/cells/sxlib/a3_x2.al
+++ b/alliance/share/cells/sxlib/a3_x2.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H a3_x2,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,9
-C i1,UNKNOWN,EXTERNAL,8
-C i2,UNKNOWN,EXTERNAL,7
-C q,UNKNOWN,EXTERNAL,5
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,4
+H a3_x2,L,27/ 9/99
+C i0,IN,EXTERNAL,9
+C i1,IN,EXTERNAL,8
+C i2,IN,EXTERNAL,7
+C q,OUT,EXTERNAL,5
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,4
 T P,0.35,2.9,3,8,6,0,0.75,0.75,7.3,7.3,3.6,11.25,tr_00008
 T P,0.35,2.9,6,9,3,0,0.75,0.75,7.3,7.3,1.8,11.25,tr_00007
 T P,0.35,5.9,5,3,6,0,0.75,0.75,13.3,13.3,7.2,11.25,tr_00006
diff --git a/alliance/share/cells/sxlib/a3_x2.vbe b/alliance/share/cells/sxlib/a3_x2.vbe
index 783d37bc..1166a4e7 100644
--- a/alliance/share/cells/sxlib/a3_x2.vbe
+++ b/alliance/share/cells/sxlib/a3_x2.vbe
@@ -31,5 +31,8 @@ END a3_x2;
 ARCHITECTURE behaviour_data_flow OF a3_x2 IS
 
 BEGIN
-q <= ((i0 and i1) and i2) after 1100 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on a3_x2"
+  SEVERITY WARNING;
+  q <= ((i0 and i1) and i2) after 1100 ps;
 END;
diff --git a/alliance/share/cells/sxlib/a3_x4.al b/alliance/share/cells/sxlib/a3_x4.al
index 8e389cf7..572abbc5 100644
--- a/alliance/share/cells/sxlib/a3_x4.al
+++ b/alliance/share/cells/sxlib/a3_x4.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H a3_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,9
-C i1,UNKNOWN,EXTERNAL,8
-C i2,UNKNOWN,EXTERNAL,7
-C q,UNKNOWN,EXTERNAL,3
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,2
+H a3_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,9
+C i1,IN,EXTERNAL,8
+C i2,IN,EXTERNAL,7
+C q,OUT,EXTERNAL,3
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,6,4,3,0,0.75,0.75,13.3,13.3,8.7,11.25,tr_00010
 T P,0.35,5.9,3,4,6,0,0.75,0.75,13.3,13.3,6.9,11.25,tr_00009
 T P,0.35,2.9,6,7,4,0,0.75,0.75,7.3,7.3,5.4,10.65,tr_00008
diff --git a/alliance/share/cells/sxlib/a3_x4.vbe b/alliance/share/cells/sxlib/a3_x4.vbe
index 26214026..64f5bab2 100644
--- a/alliance/share/cells/sxlib/a3_x4.vbe
+++ b/alliance/share/cells/sxlib/a3_x4.vbe
@@ -31,5 +31,8 @@ END a3_x4;
 ARCHITECTURE behaviour_data_flow OF a3_x4 IS
 
 BEGIN
-q <= ((i0 and i1) and i2) after 1200 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on a3_x4"
+  SEVERITY WARNING;
+  q <= ((i0 and i1) and i2) after 1200 ps;
 END;
diff --git a/alliance/share/cells/sxlib/a4_x2.al b/alliance/share/cells/sxlib/a4_x2.al
index 4f889f57..000cba7d 100644
--- a/alliance/share/cells/sxlib/a4_x2.al
+++ b/alliance/share/cells/sxlib/a4_x2.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H a4_x2,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,10
-C i1,UNKNOWN,EXTERNAL,9
-C i2,UNKNOWN,EXTERNAL,8
-C i3,UNKNOWN,EXTERNAL,7
-C q,UNKNOWN,EXTERNAL,11
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,2
+H a4_x2,L,27/ 9/99
+C i0,IN,EXTERNAL,10
+C i1,IN,EXTERNAL,9
+C i2,IN,EXTERNAL,8
+C i3,IN,EXTERNAL,7
+C q,OUT,EXTERNAL,11
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,11,1,6,0,0.75,0.75,13.3,13.3,8.7,11.25,tr_00010
 T P,0.35,2.9,1,10,6,0,0.75,0.75,7.3,7.3,1.8,11.25,tr_00009
 T P,0.35,2.9,6,9,1,0,0.75,0.75,7.3,7.3,3.6,11.25,tr_00008
diff --git a/alliance/share/cells/sxlib/a4_x2.vbe b/alliance/share/cells/sxlib/a4_x2.vbe
index c3a211d4..ae3aa5b5 100644
--- a/alliance/share/cells/sxlib/a4_x2.vbe
+++ b/alliance/share/cells/sxlib/a4_x2.vbe
@@ -37,5 +37,8 @@ END a4_x2;
 ARCHITECTURE behaviour_data_flow OF a4_x2 IS
 
 BEGIN
-q <= (((i0 and i1) and i2) and i3) after 1200 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on a4_x2"
+  SEVERITY WARNING;
+  q <= (((i0 and i1) and i2) and i3) after 1200 ps;
 END;
diff --git a/alliance/share/cells/sxlib/a4_x4.al b/alliance/share/cells/sxlib/a4_x4.al
index 11ad590a..ad56fd50 100644
--- a/alliance/share/cells/sxlib/a4_x4.al
+++ b/alliance/share/cells/sxlib/a4_x4.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H a4_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,10
-C i1,UNKNOWN,EXTERNAL,9
-C i2,UNKNOWN,EXTERNAL,8
-C i3,UNKNOWN,EXTERNAL,7
-C q,UNKNOWN,EXTERNAL,11
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,5
+H a4_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,10
+C i1,IN,EXTERNAL,9
+C i2,IN,EXTERNAL,8
+C i3,IN,EXTERNAL,7
+C q,OUT,EXTERNAL,11
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,5
 T P,0.35,5.9,11,3,6,0,0.75,0.75,13.3,13.3,10.2,11.25,tr_00013
 T P,0.35,5.9,11,3,6,0,0.75,0.75,13.3,13.3,8.4,11.25,tr_00012
 T P,0.35,2.9,6,7,3,0,0.75,0.75,7.3,7.3,7.2,11.25,tr_00011
diff --git a/alliance/share/cells/sxlib/a4_x4.vbe b/alliance/share/cells/sxlib/a4_x4.vbe
index 85bf53bc..e3b40d36 100644
--- a/alliance/share/cells/sxlib/a4_x4.vbe
+++ b/alliance/share/cells/sxlib/a4_x4.vbe
@@ -37,5 +37,8 @@ END a4_x4;
 ARCHITECTURE behaviour_data_flow OF a4_x4 IS
 
 BEGIN
-q <= (((i0 and i1) and i2) and i3) after 1300 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on a4_x4"
+  SEVERITY WARNING;
+  q <= (((i0 and i1) and i2) and i3) after 1300 ps;
 END;
diff --git a/alliance/share/cells/sxlib/buf_x2.al b/alliance/share/cells/sxlib/buf_x2.al
index 1a4dc31c..d88b8107 100644
--- a/alliance/share/cells/sxlib/buf_x2.al
+++ b/alliance/share/cells/sxlib/buf_x2.al
@@ -1,9 +1,9 @@
 V ALLIANCE : 6
-H buf_x2,L,21/ 9/99
-C i,UNKNOWN,EXTERNAL,5
-C q,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,1
+H buf_x2,L,27/ 9/99
+C i,IN,EXTERNAL,5
+C q,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,1
 T P,0.35,5.9,2,3,4,0,0.75,0.75,13.3,13.3,3.6,11.25,tr_00004
 T P,0.35,1.7,4,5,3,0,0.75,0.75,4.9,4.9,1.8,9.15,tr_00003
 T N,0.35,2.9,1,3,2,0,0.75,0.75,7.3,7.3,3.6,2.25,tr_00002
diff --git a/alliance/share/cells/sxlib/buf_x2.vbe b/alliance/share/cells/sxlib/buf_x2.vbe
index 38ddf61c..ae523737 100644
--- a/alliance/share/cells/sxlib/buf_x2.vbe
+++ b/alliance/share/cells/sxlib/buf_x2.vbe
@@ -19,5 +19,8 @@ END buf_x2;
 ARCHITECTURE behaviour_data_flow OF buf_x2 IS
 
 BEGIN
-q <= i after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on buf_x2"
+  SEVERITY WARNING;
+  q <= i after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/buf_x4.al b/alliance/share/cells/sxlib/buf_x4.al
index 33e1845a..94f28b0f 100644
--- a/alliance/share/cells/sxlib/buf_x4.al
+++ b/alliance/share/cells/sxlib/buf_x4.al
@@ -1,9 +1,9 @@
 V ALLIANCE : 6
-H buf_x4,L,21/ 9/99
-C i,UNKNOWN,EXTERNAL,5
-C q,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,1
+H buf_x4,L,27/ 9/99
+C i,IN,EXTERNAL,5
+C q,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,1
 T P,0.35,5.9,2,3,4,0,0.75,0.75,13.3,13.3,3.6,11.25,tr_00006
 T P,0.35,5.9,4,3,2,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00005
 T P,0.35,2.9,4,5,3,0,0.75,0.75,7.3,7.3,1.8,9.75,tr_00004
diff --git a/alliance/share/cells/sxlib/buf_x4.vbe b/alliance/share/cells/sxlib/buf_x4.vbe
index a1e14ebb..15ba987d 100644
--- a/alliance/share/cells/sxlib/buf_x4.vbe
+++ b/alliance/share/cells/sxlib/buf_x4.vbe
@@ -19,5 +19,8 @@ END buf_x4;
 ARCHITECTURE behaviour_data_flow OF buf_x4 IS
 
 BEGIN
-q <= i after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on buf_x4"
+  SEVERITY WARNING;
+  q <= i after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/buf_x8.al b/alliance/share/cells/sxlib/buf_x8.al
index 7ae56ffa..3f8ba01f 100644
--- a/alliance/share/cells/sxlib/buf_x8.al
+++ b/alliance/share/cells/sxlib/buf_x8.al
@@ -1,9 +1,9 @@
 V ALLIANCE : 6
-H buf_x8,L,21/ 9/99
-C i,UNKNOWN,EXTERNAL,5
-C q,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,3
+H buf_x8,L,27/ 9/99
+C i,IN,EXTERNAL,5
+C q,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,3
 T P,0.35,5.9,4,5,2,0,0.75,0.75,13.3,13.3,1.8,11.25,tr_00010
 T P,0.35,5.9,4,2,1,0,0.75,0.75,13.3,13.3,9,11.25,tr_00009
 T P,0.35,5.9,1,2,4,0,0.75,0.75,13.3,13.3,7.2,11.25,tr_00008
diff --git a/alliance/share/cells/sxlib/buf_x8.vbe b/alliance/share/cells/sxlib/buf_x8.vbe
index 74eba6b5..0835e29c 100644
--- a/alliance/share/cells/sxlib/buf_x8.vbe
+++ b/alliance/share/cells/sxlib/buf_x8.vbe
@@ -19,5 +19,8 @@ END buf_x8;
 ARCHITECTURE behaviour_data_flow OF buf_x8 IS
 
 BEGIN
-q <= i after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on buf_x8"
+  SEVERITY WARNING;
+  q <= i after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/inv_x1.al b/alliance/share/cells/sxlib/inv_x1.al
index f12a0ffa..91be1861 100644
--- a/alliance/share/cells/sxlib/inv_x1.al
+++ b/alliance/share/cells/sxlib/inv_x1.al
@@ -1,9 +1,9 @@
 V ALLIANCE : 6
-H inv_x1,L,21/ 9/99
-C i,UNKNOWN,EXTERNAL,4
-C nq,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,3
-C vss,UNKNOWN,EXTERNAL,1
+H inv_x1,L,27/ 9/99
+C i,IN,EXTERNAL,4
+C nq,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,3
+C vss,IN,EXTERNAL,1
 T P,0.35,2.9,2,4,3,0,0.75,0.75,7.3,7.3,2.1,9.75,tr_00002
 T N,0.35,1.4,1,4,2,0,0.75,0.75,4.3,4.3,2.1,3,tr_00001
 S 4,EXTERNAL,i
diff --git a/alliance/share/cells/sxlib/inv_x1.vbe b/alliance/share/cells/sxlib/inv_x1.vbe
index 6e290ff1..c188ebc4 100644
--- a/alliance/share/cells/sxlib/inv_x1.vbe
+++ b/alliance/share/cells/sxlib/inv_x1.vbe
@@ -19,5 +19,8 @@ END inv_x1;
 ARCHITECTURE behaviour_data_flow OF inv_x1 IS
 
 BEGIN
-nq <= not (i) after 700 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on inv_x1"
+  SEVERITY WARNING;
+  nq <= not (i) after 700 ps;
 END;
diff --git a/alliance/share/cells/sxlib/inv_x2.al b/alliance/share/cells/sxlib/inv_x2.al
index 2f980793..97d4c55d 100644
--- a/alliance/share/cells/sxlib/inv_x2.al
+++ b/alliance/share/cells/sxlib/inv_x2.al
@@ -1,9 +1,9 @@
 V ALLIANCE : 6
-H inv_x2,L,21/ 9/99
-C i,UNKNOWN,EXTERNAL,4
-C nq,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,3
-C vss,UNKNOWN,EXTERNAL,2
+H inv_x2,L,27/ 9/99
+C i,IN,EXTERNAL,4
+C nq,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,3
+C vss,IN,EXTERNAL,2
 T P,0.35,4.4,1,4,3,0,0.75,0.75,10.3,10.3,2.1,10.5,tr_00002
 T N,0.35,2.9,2,4,1,0,0.75,0.75,7.3,7.3,2.1,3.75,tr_00001
 S 4,EXTERNAL,i
diff --git a/alliance/share/cells/sxlib/inv_x2.vbe b/alliance/share/cells/sxlib/inv_x2.vbe
index e82d5d1b..6c0683cb 100644
--- a/alliance/share/cells/sxlib/inv_x2.vbe
+++ b/alliance/share/cells/sxlib/inv_x2.vbe
@@ -19,5 +19,8 @@ END inv_x2;
 ARCHITECTURE behaviour_data_flow OF inv_x2 IS
 
 BEGIN
-nq <= not (i) after 700 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on inv_x2"
+  SEVERITY WARNING;
+  nq <= not (i) after 700 ps;
 END;
diff --git a/alliance/share/cells/sxlib/inv_x4.al b/alliance/share/cells/sxlib/inv_x4.al
index 44cc2353..3e5d3af9 100644
--- a/alliance/share/cells/sxlib/inv_x4.al
+++ b/alliance/share/cells/sxlib/inv_x4.al
@@ -1,9 +1,9 @@
 V ALLIANCE : 6
-H inv_x4,L,21/ 9/99
-C i,UNKNOWN,EXTERNAL,4
-C nq,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,3
-C vss,UNKNOWN,EXTERNAL,2
+H inv_x4,L,27/ 9/99
+C i,IN,EXTERNAL,4
+C nq,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,3
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,1,4,3,0,0.75,0.75,13.3,13.3,2.1,11.25,tr_00004
 T P,0.35,4.1,3,4,1,0,0.75,0.75,9.7,9.7,3.9,12.15,tr_00003
 T N,0.35,2.9,1,4,2,0,0.75,0.75,7.3,7.3,3.9,2.25,tr_00002
diff --git a/alliance/share/cells/sxlib/inv_x4.vbe b/alliance/share/cells/sxlib/inv_x4.vbe
index 34c62f44..1598d0b5 100644
--- a/alliance/share/cells/sxlib/inv_x4.vbe
+++ b/alliance/share/cells/sxlib/inv_x4.vbe
@@ -19,5 +19,8 @@ END inv_x4;
 ARCHITECTURE behaviour_data_flow OF inv_x4 IS
 
 BEGIN
-nq <= not (i) after 700 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on inv_x4"
+  SEVERITY WARNING;
+  nq <= not (i) after 700 ps;
 END;
diff --git a/alliance/share/cells/sxlib/inv_x8.al b/alliance/share/cells/sxlib/inv_x8.al
index 2e8a091b..9a4b45b5 100644
--- a/alliance/share/cells/sxlib/inv_x8.al
+++ b/alliance/share/cells/sxlib/inv_x8.al
@@ -1,9 +1,9 @@
 V ALLIANCE : 6
-H inv_x8,L,21/ 9/99
-C i,UNKNOWN,EXTERNAL,4
-C nq,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,3
-C vss,UNKNOWN,EXTERNAL,2
+H inv_x8,L,27/ 9/99
+C i,IN,EXTERNAL,4
+C nq,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,3
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,1,4,3,0,0.75,0.75,13.3,13.3,5.7,11.25,tr_00008
 T P,0.35,5.9,3,4,1,0,0.75,0.75,13.3,13.3,7.5,11.25,tr_00007
 T P,0.35,5.9,3,4,1,0,0.75,0.75,13.3,13.3,3.9,11.25,tr_00006
diff --git a/alliance/share/cells/sxlib/inv_x8.vbe b/alliance/share/cells/sxlib/inv_x8.vbe
index b2647d28..9234b214 100644
--- a/alliance/share/cells/sxlib/inv_x8.vbe
+++ b/alliance/share/cells/sxlib/inv_x8.vbe
@@ -19,5 +19,8 @@ END inv_x8;
 ARCHITECTURE behaviour_data_flow OF inv_x8 IS
 
 BEGIN
-nq <= not (i) after 700 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on inv_x8"
+  SEVERITY WARNING;
+  nq <= not (i) after 700 ps;
 END;
diff --git a/alliance/share/cells/sxlib/mx2_x2.al b/alliance/share/cells/sxlib/mx2_x2.al
index 8bf1f891..0af7a043 100644
--- a/alliance/share/cells/sxlib/mx2_x2.al
+++ b/alliance/share/cells/sxlib/mx2_x2.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H mx2_x2,L,21/ 9/99
-C cmd,UNKNOWN,EXTERNAL,6
-C i0,UNKNOWN,EXTERNAL,7
-C i1,UNKNOWN,EXTERNAL,8
-C q,UNKNOWN,EXTERNAL,9
-C vdd,UNKNOWN,EXTERNAL,10
-C vss,UNKNOWN,EXTERNAL,1
+H mx2_x2,L,27/ 9/99
+C cmd,IN,EXTERNAL,6
+C i0,IN,EXTERNAL,7
+C i1,IN,EXTERNAL,8
+C q,OUT,EXTERNAL,9
+C vdd,IN,EXTERNAL,10
+C vss,IN,EXTERNAL,1
 T P,0.35,2.9,10,7,11,0,0.75,0.75,7.3,7.3,3.6,11.25,tr_00012
 T P,0.35,2.9,2,3,12,0,0.75,0.75,7.3,7.3,7.2,11.25,tr_00011
 T P,0.35,2.9,11,6,2,0,0.75,0.75,7.3,7.3,4.8,11.25,tr_00010
diff --git a/alliance/share/cells/sxlib/mx2_x2.vbe b/alliance/share/cells/sxlib/mx2_x2.vbe
index 6515398b..fb4e29a5 100644
--- a/alliance/share/cells/sxlib/mx2_x2.vbe
+++ b/alliance/share/cells/sxlib/mx2_x2.vbe
@@ -35,5 +35,8 @@ END mx2_x2;
 ARCHITECTURE behaviour_data_flow OF mx2_x2 IS
 
 BEGIN
-q <= ((i1 and cmd) or (not (cmd) and i0)) after 1100 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on mx2_x2"
+  SEVERITY WARNING;
+  q <= ((i1 and cmd) or (not (cmd) and i0)) after 1100 ps;
 END;
diff --git a/alliance/share/cells/sxlib/mx2_x4.al b/alliance/share/cells/sxlib/mx2_x4.al
index 7a024d7c..0f36e2c6 100644
--- a/alliance/share/cells/sxlib/mx2_x4.al
+++ b/alliance/share/cells/sxlib/mx2_x4.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H mx2_x4,L,21/ 9/99
-C cmd,UNKNOWN,EXTERNAL,6
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,7
-C q,UNKNOWN,EXTERNAL,9
-C vdd,UNKNOWN,EXTERNAL,10
-C vss,UNKNOWN,EXTERNAL,3
+H mx2_x4,L,27/ 9/99
+C cmd,IN,EXTERNAL,6
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,7
+C q,OUT,EXTERNAL,9
+C vdd,IN,EXTERNAL,10
+C vss,IN,EXTERNAL,3
 T P,0.35,2.9,11,7,10,0,0.75,0.75,7.3,7.3,8.4,11.25,tr_00014
 T P,0.35,2.9,2,6,10,0,0.75,0.75,7.3,7.3,1.8,11.25,tr_00013
 T P,0.35,2.9,12,6,1,0,0.75,0.75,7.3,7.3,4.8,11.25,tr_00012
diff --git a/alliance/share/cells/sxlib/mx2_x4.vbe b/alliance/share/cells/sxlib/mx2_x4.vbe
index 008a43bc..58751d00 100644
--- a/alliance/share/cells/sxlib/mx2_x4.vbe
+++ b/alliance/share/cells/sxlib/mx2_x4.vbe
@@ -35,5 +35,8 @@ END mx2_x4;
 ARCHITECTURE behaviour_data_flow OF mx2_x4 IS
 
 BEGIN
-q <= ((i1 and cmd) or (not (cmd) and i0)) after 1200 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on mx2_x4"
+  SEVERITY WARNING;
+  q <= ((i1 and cmd) or (not (cmd) and i0)) after 1200 ps;
 END;
diff --git a/alliance/share/cells/sxlib/na2_x1.al b/alliance/share/cells/sxlib/na2_x1.al
index c9700ce2..bb6f7c22 100644
--- a/alliance/share/cells/sxlib/na2_x1.al
+++ b/alliance/share/cells/sxlib/na2_x1.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H na2_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,5
-C i1,UNKNOWN,EXTERNAL,4
-C nq,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,2
+H na2_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,5
+C i1,IN,EXTERNAL,4
+C nq,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,2
 T P,0.35,2.9,1,5,6,0,0.75,0.75,7.3,7.3,2.1,11.25,tr_00004
 T P,0.35,2.9,6,4,1,0,0.75,0.75,7.3,7.3,3.9,11.25,tr_00003
 T N,0.35,2.9,2,5,3,0,0.75,0.75,7.3,7.3,2.1,3.75,tr_00002
diff --git a/alliance/share/cells/sxlib/na2_x1.vbe b/alliance/share/cells/sxlib/na2_x1.vbe
index dfd01263..f559f108 100644
--- a/alliance/share/cells/sxlib/na2_x1.vbe
+++ b/alliance/share/cells/sxlib/na2_x1.vbe
@@ -25,5 +25,8 @@ END na2_x1;
 ARCHITECTURE behaviour_data_flow OF na2_x1 IS
 
 BEGIN
-nq <= not ((i0 and i1)) after 900 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on na2_x1"
+  SEVERITY WARNING;
+  nq <= not ((i0 and i1)) after 900 ps;
 END;
diff --git a/alliance/share/cells/sxlib/na2_x4.al b/alliance/share/cells/sxlib/na2_x4.al
index 2085a3b3..a6ffc8c4 100644
--- a/alliance/share/cells/sxlib/na2_x4.al
+++ b/alliance/share/cells/sxlib/na2_x4.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H na2_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,7
-C nq,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,5
-C vss,UNKNOWN,EXTERNAL,1
+H na2_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,7
+C nq,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,5
+C vss,IN,EXTERNAL,1
 T P,0.35,2.9,6,3,5,0,0.75,0.75,7.3,7.3,8.7,9.75,tr_00010
 T P,0.35,5.9,2,6,5,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00009
 T P,0.35,5.9,5,6,2,0,0.75,0.75,13.3,13.3,7.2,11.25,tr_00008
diff --git a/alliance/share/cells/sxlib/na2_x4.vbe b/alliance/share/cells/sxlib/na2_x4.vbe
index 415474cf..6fbfff71 100644
--- a/alliance/share/cells/sxlib/na2_x4.vbe
+++ b/alliance/share/cells/sxlib/na2_x4.vbe
@@ -25,5 +25,8 @@ END na2_x4;
 ARCHITECTURE behaviour_data_flow OF na2_x4 IS
 
 BEGIN
-nq <= not ((i0 and i1)) after 1200 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on na2_x4"
+  SEVERITY WARNING;
+  nq <= not ((i0 and i1)) after 1200 ps;
 END;
diff --git a/alliance/share/cells/sxlib/na3_x1.al b/alliance/share/cells/sxlib/na3_x1.al
index a89ffb8c..077ba6b0 100644
--- a/alliance/share/cells/sxlib/na3_x1.al
+++ b/alliance/share/cells/sxlib/na3_x1.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H na3_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,7
-C i1,UNKNOWN,EXTERNAL,5
-C i2,UNKNOWN,EXTERNAL,6
-C nq,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,8
-C vss,UNKNOWN,EXTERNAL,3
+H na3_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,7
+C i1,IN,EXTERNAL,5
+C i2,IN,EXTERNAL,6
+C nq,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,8
+C vss,IN,EXTERNAL,3
 T P,0.35,2.9,2,7,8,0,0.75,0.75,7.3,7.3,2.1,11.25,tr_00006
 T P,0.35,2.9,2,6,8,0,0.75,0.75,7.3,7.3,5.7,11.25,tr_00005
 T P,0.35,2.9,8,5,2,0,0.75,0.75,7.3,7.3,3.9,11.25,tr_00004
diff --git a/alliance/share/cells/sxlib/na3_x1.vbe b/alliance/share/cells/sxlib/na3_x1.vbe
index 319e8976..ee6d449b 100644
--- a/alliance/share/cells/sxlib/na3_x1.vbe
+++ b/alliance/share/cells/sxlib/na3_x1.vbe
@@ -31,5 +31,8 @@ END na3_x1;
 ARCHITECTURE behaviour_data_flow OF na3_x1 IS
 
 BEGIN
-nq <= not (((i0 and i1) and i2)) after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on na3_x1"
+  SEVERITY WARNING;
+  nq <= not (((i0 and i1) and i2)) after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/na3_x4.al b/alliance/share/cells/sxlib/na3_x4.al
index b4777b70..53b277ca 100644
--- a/alliance/share/cells/sxlib/na3_x4.al
+++ b/alliance/share/cells/sxlib/na3_x4.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H na3_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,9
-C i2,UNKNOWN,EXTERNAL,10
-C nq,UNKNOWN,EXTERNAL,5
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,4
+H na3_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,9
+C i2,IN,EXTERNAL,10
+C nq,OUT,EXTERNAL,5
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,4
 T P,0.35,2.9,6,9,3,0,0.75,0.75,7.3,7.3,5.4,10.95,tr_00012
 T P,0.35,2.9,3,10,6,0,0.75,0.75,7.3,7.3,3.6,10.95,tr_00011
 T P,0.35,2.9,6,8,3,0,0.75,0.75,7.3,7.3,1.8,10.95,tr_00010
diff --git a/alliance/share/cells/sxlib/na3_x4.vbe b/alliance/share/cells/sxlib/na3_x4.vbe
index 0ab5ca7f..ba56959d 100644
--- a/alliance/share/cells/sxlib/na3_x4.vbe
+++ b/alliance/share/cells/sxlib/na3_x4.vbe
@@ -31,5 +31,8 @@ END na3_x4;
 ARCHITECTURE behaviour_data_flow OF na3_x4 IS
 
 BEGIN
-nq <= not (((i0 and i1) and i2)) after 1300 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on na3_x4"
+  SEVERITY WARNING;
+  nq <= not (((i0 and i1) and i2)) after 1300 ps;
 END;
diff --git a/alliance/share/cells/sxlib/na4_x1.al b/alliance/share/cells/sxlib/na4_x1.al
index 483b3d1e..dd1f3d77 100644
--- a/alliance/share/cells/sxlib/na4_x1.al
+++ b/alliance/share/cells/sxlib/na4_x1.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H na4_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,7
-C i2,UNKNOWN,EXTERNAL,6
-C i3,UNKNOWN,EXTERNAL,9
-C nq,UNKNOWN,EXTERNAL,4
-C vdd,UNKNOWN,EXTERNAL,10
-C vss,UNKNOWN,EXTERNAL,3
+H na4_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,7
+C i2,IN,EXTERNAL,6
+C i3,IN,EXTERNAL,9
+C nq,OUT,EXTERNAL,4
+C vdd,IN,EXTERNAL,10
+C vss,IN,EXTERNAL,3
 T P,0.35,2.9,10,7,4,0,0.75,0.75,7.3,7.3,3.6,11.25,tr_00008
 T P,0.35,2.9,4,6,10,0,0.75,0.75,7.3,7.3,5.4,11.25,tr_00007
 T P,0.35,2.9,10,9,4,0,0.75,0.75,7.3,7.3,7.2,11.25,tr_00006
diff --git a/alliance/share/cells/sxlib/na4_x1.vbe b/alliance/share/cells/sxlib/na4_x1.vbe
index 66f8e49d..4c903ced 100644
--- a/alliance/share/cells/sxlib/na4_x1.vbe
+++ b/alliance/share/cells/sxlib/na4_x1.vbe
@@ -37,5 +37,8 @@ END na4_x1;
 ARCHITECTURE behaviour_data_flow OF na4_x1 IS
 
 BEGIN
-nq <= not ((((i0 and i1) and i2) and i3)) after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on na4_x1"
+  SEVERITY WARNING;
+  nq <= not ((((i0 and i1) and i2) and i3)) after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/na4_x4.al b/alliance/share/cells/sxlib/na4_x4.al
index ace61370..ae625d2a 100644
--- a/alliance/share/cells/sxlib/na4_x4.al
+++ b/alliance/share/cells/sxlib/na4_x4.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H na4_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,6
-C i1,UNKNOWN,EXTERNAL,8
-C i2,UNKNOWN,EXTERNAL,11
-C i3,UNKNOWN,EXTERNAL,12
-C nq,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,5
-C vss,UNKNOWN,EXTERNAL,3
+H na4_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,6
+C i1,IN,EXTERNAL,8
+C i2,IN,EXTERNAL,11
+C i3,IN,EXTERNAL,12
+C nq,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,5
+C vss,IN,EXTERNAL,3
 T P,0.35,2.9,5,12,7,0,0.75,0.75,7.3,7.3,13.2,11.25,tr_00014
 T P,0.35,2.9,7,11,5,0,0.75,0.75,7.3,7.3,11.4,11.25,tr_00013
 T P,0.35,2.9,5,8,7,0,0.75,0.75,7.3,7.3,9.6,11.25,tr_00012
diff --git a/alliance/share/cells/sxlib/na4_x4.vbe b/alliance/share/cells/sxlib/na4_x4.vbe
index 7f08671d..4f8c2cd7 100644
--- a/alliance/share/cells/sxlib/na4_x4.vbe
+++ b/alliance/share/cells/sxlib/na4_x4.vbe
@@ -37,5 +37,8 @@ END na4_x4;
 ARCHITECTURE behaviour_data_flow OF na4_x4 IS
 
 BEGIN
-nq <= not ((((i0 and i1) and i2) and i3)) after 1400 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on na4_x4"
+  SEVERITY WARNING;
+  nq <= not ((((i0 and i1) and i2) and i3)) after 1400 ps;
 END;
diff --git a/alliance/share/cells/sxlib/nao2o22_x1.al b/alliance/share/cells/sxlib/nao2o22_x1.al
index 6ff9a7b4..4ede56e5 100644
--- a/alliance/share/cells/sxlib/nao2o22_x1.al
+++ b/alliance/share/cells/sxlib/nao2o22_x1.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H nao2o22_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,10
-C i1,UNKNOWN,EXTERNAL,8
-C i2,UNKNOWN,EXTERNAL,9
-C i3,UNKNOWN,EXTERNAL,7
-C nq,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,3
+H nao2o22_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,10
+C i1,IN,EXTERNAL,8
+C i2,IN,EXTERNAL,9
+C i3,IN,EXTERNAL,7
+C nq,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,3
 T P,0.35,5.9,2,8,5,0,0.75,0.75,13.3,13.3,3.6,11.25,tr_00008
 T P,0.35,5.9,5,10,4,0,0.75,0.75,13.3,13.3,1.8,11.25,tr_00007
 T P,0.35,5.9,6,7,2,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00006
diff --git a/alliance/share/cells/sxlib/nao2o22_x1.vbe b/alliance/share/cells/sxlib/nao2o22_x1.vbe
index 2f683617..39130bc3 100644
--- a/alliance/share/cells/sxlib/nao2o22_x1.vbe
+++ b/alliance/share/cells/sxlib/nao2o22_x1.vbe
@@ -37,5 +37,8 @@ END nao2o22_x1;
 ARCHITECTURE behaviour_data_flow OF nao2o22_x1 IS
 
 BEGIN
-nq <= not (((i0 or i1) and (i2 or i3))) after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on nao2o22_x1"
+  SEVERITY WARNING;
+  nq <= not (((i0 or i1) and (i2 or i3))) after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/nao2o22_x4.al b/alliance/share/cells/sxlib/nao2o22_x4.al
index 02e8b4eb..1800229d 100644
--- a/alliance/share/cells/sxlib/nao2o22_x4.al
+++ b/alliance/share/cells/sxlib/nao2o22_x4.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H nao2o22_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,6
-C i1,UNKNOWN,EXTERNAL,4
-C i2,UNKNOWN,EXTERNAL,7
-C i3,UNKNOWN,EXTERNAL,5
-C nq,UNKNOWN,EXTERNAL,8
-C vdd,UNKNOWN,EXTERNAL,10
-C vss,UNKNOWN,EXTERNAL,1
+H nao2o22_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,6
+C i1,IN,EXTERNAL,4
+C i2,IN,EXTERNAL,7
+C i3,IN,EXTERNAL,5
+C nq,OUT,EXTERNAL,8
+C vdd,IN,EXTERNAL,10
+C vss,IN,EXTERNAL,1
 T P,0.35,2.9,10,3,9,0,0.75,0.75,7.3,7.3,10.8,9.75,tr_00014
 T P,0.35,5.9,10,9,8,0,0.75,0.75,13.3,13.3,14.4,11.25,tr_00013
 T P,0.35,5.9,8,9,10,0,0.75,0.75,13.3,13.3,12.6,11.25,tr_00012
diff --git a/alliance/share/cells/sxlib/nao2o22_x4.vbe b/alliance/share/cells/sxlib/nao2o22_x4.vbe
index e26a0a2e..4264d60d 100644
--- a/alliance/share/cells/sxlib/nao2o22_x4.vbe
+++ b/alliance/share/cells/sxlib/nao2o22_x4.vbe
@@ -37,5 +37,8 @@ END nao2o22_x4;
 ARCHITECTURE behaviour_data_flow OF nao2o22_x4 IS
 
 BEGIN
-nq <= not (((i0 or i1) and (i2 or i3))) after 1400 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on nao2o22_x4"
+  SEVERITY WARNING;
+  nq <= not (((i0 or i1) and (i2 or i3))) after 1400 ps;
 END;
diff --git a/alliance/share/cells/sxlib/nmx2_x1.al b/alliance/share/cells/sxlib/nmx2_x1.al
index f81f8c3b..0b8794be 100644
--- a/alliance/share/cells/sxlib/nmx2_x1.al
+++ b/alliance/share/cells/sxlib/nmx2_x1.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H nmx2_x1,L,21/ 9/99
-C cmd,UNKNOWN,EXTERNAL,9
-C i0,UNKNOWN,EXTERNAL,10
-C i1,UNKNOWN,EXTERNAL,11
-C nq,UNKNOWN,EXTERNAL,3
-C vdd,UNKNOWN,EXTERNAL,7
-C vss,UNKNOWN,EXTERNAL,1
+H nmx2_x1,L,27/ 9/99
+C cmd,IN,EXTERNAL,9
+C i0,IN,EXTERNAL,10
+C i1,IN,EXTERNAL,11
+C nq,OUT,EXTERNAL,3
+C vdd,IN,EXTERNAL,7
+C vss,IN,EXTERNAL,1
 T P,0.35,5.9,3,5,6,0,0.75,0.75,13.3,13.3,6.9,11.25,tr_00010
 T P,0.35,5.9,8,9,3,0,0.75,0.75,13.3,13.3,5.1,11.25,tr_00009
 T P,0.35,5.9,6,11,7,0,0.75,0.75,13.3,13.3,8.7,11.25,tr_00008
diff --git a/alliance/share/cells/sxlib/nmx2_x1.vbe b/alliance/share/cells/sxlib/nmx2_x1.vbe
index d023142a..ee0c6792 100644
--- a/alliance/share/cells/sxlib/nmx2_x1.vbe
+++ b/alliance/share/cells/sxlib/nmx2_x1.vbe
@@ -35,5 +35,8 @@ END nmx2_x1;
 ARCHITECTURE behaviour_data_flow OF nmx2_x1 IS
 
 BEGIN
-nq <= not (((i0 and not (cmd)) or (i1 and cmd))) after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on nmx2_x1"
+  SEVERITY WARNING;
+  nq <= not (((i0 and not (cmd)) or (i1 and cmd))) after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/nmx2_x4.al b/alliance/share/cells/sxlib/nmx2_x4.al
index c1f68e45..13f74532 100644
--- a/alliance/share/cells/sxlib/nmx2_x4.al
+++ b/alliance/share/cells/sxlib/nmx2_x4.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H nmx2_x4,L,21/ 9/99
-C cmd,UNKNOWN,EXTERNAL,7
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,6
-C nq,UNKNOWN,EXTERNAL,10
-C vdd,UNKNOWN,EXTERNAL,11
-C vss,UNKNOWN,EXTERNAL,1
+H nmx2_x4,L,27/ 9/99
+C cmd,IN,EXTERNAL,7
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,6
+C nq,OUT,EXTERNAL,10
+C vdd,IN,EXTERNAL,11
+C vss,IN,EXTERNAL,1
 T P,0.35,2.9,11,8,12,0,0.75,0.75,7.3,7.3,3.6,11.25,tr_00016
 T P,0.35,2.9,3,4,13,0,0.75,0.75,7.3,7.3,7.2,11.25,tr_00015
 T P,0.35,2.9,12,7,3,0,0.75,0.75,7.3,7.3,4.8,11.25,tr_00014
diff --git a/alliance/share/cells/sxlib/nmx2_x4.vbe b/alliance/share/cells/sxlib/nmx2_x4.vbe
index 70f98dd3..ab5c7acd 100644
--- a/alliance/share/cells/sxlib/nmx2_x4.vbe
+++ b/alliance/share/cells/sxlib/nmx2_x4.vbe
@@ -35,5 +35,8 @@ END nmx2_x4;
 ARCHITECTURE behaviour_data_flow OF nmx2_x4 IS
 
 BEGIN
-nq <= not (((i0 and not (cmd)) or (i1 and cmd))) after 1300 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on nmx2_x4"
+  SEVERITY WARNING;
+  nq <= not (((i0 and not (cmd)) or (i1 and cmd))) after 1300 ps;
 END;
diff --git a/alliance/share/cells/sxlib/no2_x1.al b/alliance/share/cells/sxlib/no2_x1.al
index 703808bc..2466b891 100644
--- a/alliance/share/cells/sxlib/no2_x1.al
+++ b/alliance/share/cells/sxlib/no2_x1.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H no2_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,5
-C i1,UNKNOWN,EXTERNAL,6
-C nq,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,3
-C vss,UNKNOWN,EXTERNAL,1
+H no2_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,5
+C i1,IN,EXTERNAL,6
+C nq,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,3
+C vss,IN,EXTERNAL,1
 T P,0.35,5.9,4,6,2,0,0.75,0.75,13.3,13.3,3,11.25,tr_00004
 T P,0.35,5.9,3,5,4,0,0.75,0.75,13.3,13.3,4.2,11.25,tr_00003
 T N,0.35,1.4,2,5,1,0,0.75,0.75,4.3,4.3,3.9,3,tr_00002
diff --git a/alliance/share/cells/sxlib/no2_x1.vbe b/alliance/share/cells/sxlib/no2_x1.vbe
index ea3f7aef..caa4408f 100644
--- a/alliance/share/cells/sxlib/no2_x1.vbe
+++ b/alliance/share/cells/sxlib/no2_x1.vbe
@@ -25,5 +25,8 @@ END no2_x1;
 ARCHITECTURE behaviour_data_flow OF no2_x1 IS
 
 BEGIN
-nq <= not ((i0 or i1)) after 900 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on no2_x1"
+  SEVERITY WARNING;
+  nq <= not ((i0 or i1)) after 900 ps;
 END;
diff --git a/alliance/share/cells/sxlib/no2_x4.al b/alliance/share/cells/sxlib/no2_x4.al
index c6754202..531bc0df 100644
--- a/alliance/share/cells/sxlib/no2_x4.al
+++ b/alliance/share/cells/sxlib/no2_x4.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H no2_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,7
-C nq,UNKNOWN,EXTERNAL,3
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,2
+H no2_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,7
+C nq,OUT,EXTERNAL,3
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,4,8,5,0,0.75,0.75,13.3,13.3,3,11.25,tr_00010
 T P,0.35,5.9,5,7,1,0,0.75,0.75,13.3,13.3,1.8,11.25,tr_00009
 T P,0.35,5.9,3,6,4,0,0.75,0.75,13.3,13.3,6.9,11.25,tr_00008
diff --git a/alliance/share/cells/sxlib/no2_x4.vbe b/alliance/share/cells/sxlib/no2_x4.vbe
index df1bb59e..2000a442 100644
--- a/alliance/share/cells/sxlib/no2_x4.vbe
+++ b/alliance/share/cells/sxlib/no2_x4.vbe
@@ -25,5 +25,8 @@ END no2_x4;
 ARCHITECTURE behaviour_data_flow OF no2_x4 IS
 
 BEGIN
-nq <= not ((i0 or i1)) after 1200 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on no2_x4"
+  SEVERITY WARNING;
+  nq <= not ((i0 or i1)) after 1200 ps;
 END;
diff --git a/alliance/share/cells/sxlib/no3_x1.al b/alliance/share/cells/sxlib/no3_x1.al
index da445d63..38475a17 100644
--- a/alliance/share/cells/sxlib/no3_x1.al
+++ b/alliance/share/cells/sxlib/no3_x1.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H no3_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,6
-C i1,UNKNOWN,EXTERNAL,7
-C i2,UNKNOWN,EXTERNAL,8
-C nq,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,2
+H no3_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,6
+C i1,IN,EXTERNAL,7
+C i2,IN,EXTERNAL,8
+C nq,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,5,6,3,0,0.75,0.75,13.3,13.3,4.2,11.25,tr_00006
 T P,0.35,5.9,3,7,1,0,0.75,0.75,13.3,13.3,3,11.25,tr_00005
 T P,0.35,5.9,4,8,5,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00004
diff --git a/alliance/share/cells/sxlib/no3_x1.vbe b/alliance/share/cells/sxlib/no3_x1.vbe
index ad30b24d..4e56d42a 100644
--- a/alliance/share/cells/sxlib/no3_x1.vbe
+++ b/alliance/share/cells/sxlib/no3_x1.vbe
@@ -31,5 +31,8 @@ END no3_x1;
 ARCHITECTURE behaviour_data_flow OF no3_x1 IS
 
 BEGIN
-nq <= not (((i0 or i1) or i2)) after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on no3_x1"
+  SEVERITY WARNING;
+  nq <= not (((i0 or i1) or i2)) after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/no3_x4.al b/alliance/share/cells/sxlib/no3_x4.al
index e0d185d5..c49c2236 100644
--- a/alliance/share/cells/sxlib/no3_x4.al
+++ b/alliance/share/cells/sxlib/no3_x4.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H no3_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,9
-C i2,UNKNOWN,EXTERNAL,10
-C nq,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,2
+H no3_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,9
+C i2,IN,EXTERNAL,10
+C nq,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,2
 T P,0.35,2.9,4,3,7,0,0.75,0.75,7.3,7.3,10.2,9.75,tr_00012
 T P,0.35,5.9,4,7,1,0,0.75,0.75,13.3,13.3,6.6,11.25,tr_00011
 T P,0.35,5.9,1,7,4,0,0.75,0.75,13.3,13.3,8.4,11.25,tr_00010
diff --git a/alliance/share/cells/sxlib/no3_x4.vbe b/alliance/share/cells/sxlib/no3_x4.vbe
index c3f3ab3f..8eb2843a 100644
--- a/alliance/share/cells/sxlib/no3_x4.vbe
+++ b/alliance/share/cells/sxlib/no3_x4.vbe
@@ -31,5 +31,8 @@ END no3_x4;
 ARCHITECTURE behaviour_data_flow OF no3_x4 IS
 
 BEGIN
-nq <= not (((i0 or i1) or i2)) after 1300 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on no3_x4"
+  SEVERITY WARNING;
+  nq <= not (((i0 or i1) or i2)) after 1300 ps;
 END;
diff --git a/alliance/share/cells/sxlib/no4_x1.al b/alliance/share/cells/sxlib/no4_x1.al
index d105e619..83c07fdc 100644
--- a/alliance/share/cells/sxlib/no4_x1.al
+++ b/alliance/share/cells/sxlib/no4_x1.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H no4_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,7
-C i1,UNKNOWN,EXTERNAL,10
-C i2,UNKNOWN,EXTERNAL,8
-C i3,UNKNOWN,EXTERNAL,9
-C nq,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,5
-C vss,UNKNOWN,EXTERNAL,1
+H no4_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,7
+C i1,IN,EXTERNAL,10
+C i2,IN,EXTERNAL,8
+C i3,IN,EXTERNAL,9
+C nq,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,5
+C vss,IN,EXTERNAL,1
 T P,0.35,5.9,3,8,4,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00008
 T P,0.35,5.9,6,10,2,0,0.75,0.75,13.3,13.3,3,11.25,tr_00007
 T P,0.35,5.9,4,7,6,0,0.75,0.75,13.3,13.3,4.2,11.25,tr_00006
diff --git a/alliance/share/cells/sxlib/no4_x1.vbe b/alliance/share/cells/sxlib/no4_x1.vbe
index 45cce487..1b44347c 100644
--- a/alliance/share/cells/sxlib/no4_x1.vbe
+++ b/alliance/share/cells/sxlib/no4_x1.vbe
@@ -37,5 +37,8 @@ END no4_x1;
 ARCHITECTURE behaviour_data_flow OF no4_x1 IS
 
 BEGIN
-nq <= not ((((i0 or i1) or i2) or i3)) after 1100 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on no4_x1"
+  SEVERITY WARNING;
+  nq <= not ((((i0 or i1) or i2) or i3)) after 1100 ps;
 END;
diff --git a/alliance/share/cells/sxlib/no4_x4.al b/alliance/share/cells/sxlib/no4_x4.al
index f1bd01b9..1c01fdad 100644
--- a/alliance/share/cells/sxlib/no4_x4.al
+++ b/alliance/share/cells/sxlib/no4_x4.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H no4_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,7
-C i1,UNKNOWN,EXTERNAL,10
-C i2,UNKNOWN,EXTERNAL,8
-C i3,UNKNOWN,EXTERNAL,9
-C nq,UNKNOWN,EXTERNAL,11
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,2
+H no4_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,7
+C i1,IN,EXTERNAL,10
+C i2,IN,EXTERNAL,8
+C i3,IN,EXTERNAL,9
+C nq,OUT,EXTERNAL,11
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,4,8,5,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00014
 T P,0.35,5.9,3,10,1,0,0.75,0.75,13.3,13.3,3,11.25,tr_00013
 T P,0.35,5.9,5,7,3,0,0.75,0.75,13.3,13.3,4.2,11.25,tr_00012
diff --git a/alliance/share/cells/sxlib/no4_x4.vbe b/alliance/share/cells/sxlib/no4_x4.vbe
index 45ecaf40..fe14631d 100644
--- a/alliance/share/cells/sxlib/no4_x4.vbe
+++ b/alliance/share/cells/sxlib/no4_x4.vbe
@@ -37,5 +37,8 @@ END no4_x4;
 ARCHITECTURE behaviour_data_flow OF no4_x4 IS
 
 BEGIN
-nq <= not ((((i0 or i1) or i2) or i3)) after 1400 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on no4_x4"
+  SEVERITY WARNING;
+  nq <= not ((((i0 or i1) or i2) or i3)) after 1400 ps;
 END;
diff --git a/alliance/share/cells/sxlib/noa2a22_x1.al b/alliance/share/cells/sxlib/noa2a22_x1.al
index 759e9270..616360fa 100644
--- a/alliance/share/cells/sxlib/noa2a22_x1.al
+++ b/alliance/share/cells/sxlib/noa2a22_x1.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H noa2a22_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,10
-C i1,UNKNOWN,EXTERNAL,8
-C i2,UNKNOWN,EXTERNAL,9
-C i3,UNKNOWN,EXTERNAL,7
-C nq,UNKNOWN,EXTERNAL,3
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,1
+H noa2a22_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,10
+C i1,IN,EXTERNAL,8
+C i2,IN,EXTERNAL,9
+C i3,IN,EXTERNAL,7
+C nq,OUT,EXTERNAL,3
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,1
 T P,0.35,5.9,5,8,3,0,0.75,0.75,13.3,13.3,3.6,11.25,tr_00008
 T P,0.35,5.9,3,10,5,0,0.75,0.75,13.3,13.3,1.8,11.25,tr_00007
 T P,0.35,5.9,6,7,5,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00006
diff --git a/alliance/share/cells/sxlib/noa2a22_x1.vbe b/alliance/share/cells/sxlib/noa2a22_x1.vbe
index 084f56a2..c494e5a4 100644
--- a/alliance/share/cells/sxlib/noa2a22_x1.vbe
+++ b/alliance/share/cells/sxlib/noa2a22_x1.vbe
@@ -37,5 +37,8 @@ END noa2a22_x1;
 ARCHITECTURE behaviour_data_flow OF noa2a22_x1 IS
 
 BEGIN
-nq <= not (((i0 and i1) or (i2 and i3))) after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on noa2a22_x1"
+  SEVERITY WARNING;
+  nq <= not (((i0 and i1) or (i2 and i3))) after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/noa2a22_x4.al b/alliance/share/cells/sxlib/noa2a22_x4.al
index ca7301da..a0dc043b 100644
--- a/alliance/share/cells/sxlib/noa2a22_x4.al
+++ b/alliance/share/cells/sxlib/noa2a22_x4.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H noa2a22_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,6
-C i1,UNKNOWN,EXTERNAL,5
-C i2,UNKNOWN,EXTERNAL,8
-C i3,UNKNOWN,EXTERNAL,7
-C nq,UNKNOWN,EXTERNAL,9
-C vdd,UNKNOWN,EXTERNAL,11
-C vss,UNKNOWN,EXTERNAL,1
+H noa2a22_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,6
+C i1,IN,EXTERNAL,5
+C i2,IN,EXTERNAL,8
+C i3,IN,EXTERNAL,7
+C nq,OUT,EXTERNAL,9
+C vdd,IN,EXTERNAL,11
+C vss,IN,EXTERNAL,1
 T P,0.35,2.9,12,5,3,0,0.75,0.75,7.3,7.3,3.6,11.25,tr_00014
 T P,0.35,2.9,12,8,11,0,0.75,0.75,7.3,7.3,7.2,11.25,tr_00013
 T P,0.35,2.9,11,7,12,0,0.75,0.75,7.3,7.3,5.4,11.25,tr_00012
diff --git a/alliance/share/cells/sxlib/noa2a22_x4.vbe b/alliance/share/cells/sxlib/noa2a22_x4.vbe
index bcaffb3d..e1e5f996 100644
--- a/alliance/share/cells/sxlib/noa2a22_x4.vbe
+++ b/alliance/share/cells/sxlib/noa2a22_x4.vbe
@@ -37,5 +37,8 @@ END noa2a22_x4;
 ARCHITECTURE behaviour_data_flow OF noa2a22_x4 IS
 
 BEGIN
-nq <= not (((i0 and i1) or (i2 and i3))) after 1400 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on noa2a22_x4"
+  SEVERITY WARNING;
+  nq <= not (((i0 and i1) or (i2 and i3))) after 1400 ps;
 END;
diff --git a/alliance/share/cells/sxlib/nts_x1.al b/alliance/share/cells/sxlib/nts_x1.al
index d7f4fe82..5db77528 100644
--- a/alliance/share/cells/sxlib/nts_x1.al
+++ b/alliance/share/cells/sxlib/nts_x1.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H nts_x1,L,21/ 9/99
-C cmd,UNKNOWN,EXTERNAL,7
-C i,UNKNOWN,EXTERNAL,8
-C nq,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,3
+H nts_x1,L,27/ 9/99
+C cmd,IN,EXTERNAL,7
+C i,IN,EXTERNAL,8
+C nq,TRISTATE,EXTERNAL,1
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,3
 T P,0.35,5.9,6,8,5,0,0.75,0.75,13.3,13.3,1.8,11.25,tr_00006
 T P,0.35,5.9,5,4,1,0,0.75,0.75,13.3,13.3,3.6,11.25,tr_00005
 T P,0.35,2.9,4,7,6,0,0.75,0.75,7.3,7.3,7.2,9.75,tr_00004
diff --git a/alliance/share/cells/sxlib/nts_x1.vbe b/alliance/share/cells/sxlib/nts_x1.vbe
index 24e08aa3..29fac5ad 100644
--- a/alliance/share/cells/sxlib/nts_x1.vbe
+++ b/alliance/share/cells/sxlib/nts_x1.vbe
@@ -25,10 +25,13 @@ END nts_x1;
 ARCHITECTURE behaviour_data_flow OF nts_x1 IS
 
 BEGIN
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on nts_x1"
+  SEVERITY WARNING;
 
   label0 : BLOCK (cmd = '1')
   BEGIN
-nq <= GUARDED not (i) after 800 ps;
+    nq <= GUARDED not (i) after 800 ps;
   END BLOCK label0;
 
 END;
diff --git a/alliance/share/cells/sxlib/nts_x2.al b/alliance/share/cells/sxlib/nts_x2.al
index 9d1fdf36..1e3aac37 100644
--- a/alliance/share/cells/sxlib/nts_x2.al
+++ b/alliance/share/cells/sxlib/nts_x2.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H nts_x2,L,21/ 9/99
-C cmd,UNKNOWN,EXTERNAL,9
-C i,UNKNOWN,EXTERNAL,10
-C nq,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,4
+H nts_x2,L,27/ 9/99
+C cmd,IN,EXTERNAL,9
+C i,IN,EXTERNAL,10
+C nq,TRISTATE,EXTERNAL,2
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,4
 T P,0.35,5.9,6,10,7,0,0.75,0.75,13.3,13.3,1.8,11.25,tr_00010
 T P,0.35,5.9,7,8,2,0,0.75,0.75,13.3,13.3,3.6,11.25,tr_00009
 T P,0.35,5.9,2,8,5,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00008
diff --git a/alliance/share/cells/sxlib/nts_x2.vbe b/alliance/share/cells/sxlib/nts_x2.vbe
index 4b61a884..823d8303 100644
--- a/alliance/share/cells/sxlib/nts_x2.vbe
+++ b/alliance/share/cells/sxlib/nts_x2.vbe
@@ -25,10 +25,13 @@ END nts_x2;
 ARCHITECTURE behaviour_data_flow OF nts_x2 IS
 
 BEGIN
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on nts_x2"
+  SEVERITY WARNING;
 
   label0 : BLOCK (cmd = '1')
   BEGIN
-nq <= GUARDED not (i) after 900 ps;
+    nq <= GUARDED not (i) after 900 ps;
   END BLOCK label0;
 
 END;
diff --git a/alliance/share/cells/sxlib/nxr2_x1.al b/alliance/share/cells/sxlib/nxr2_x1.al
index 04f20b84..60e38f92 100644
--- a/alliance/share/cells/sxlib/nxr2_x1.al
+++ b/alliance/share/cells/sxlib/nxr2_x1.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H nxr2_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,10
-C nq,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,7
-C vss,UNKNOWN,EXTERNAL,4
+H nxr2_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,10
+C nq,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,7
+C vss,IN,EXTERNAL,4
 T P,0.35,5.9,7,9,6,0,0.75,0.75,13.3,13.3,9,11.25,tr_00012
 T P,0.35,5.9,6,5,2,0,0.75,0.75,13.3,13.3,7.2,11.25,tr_00011
 T P,0.35,5.9,6,8,7,0,0.75,0.75,13.3,13.3,3.6,11.25,tr_00010
diff --git a/alliance/share/cells/sxlib/nxr2_x1.vbe b/alliance/share/cells/sxlib/nxr2_x1.vbe
index 667b0bb6..f0c4fb3d 100644
--- a/alliance/share/cells/sxlib/nxr2_x1.vbe
+++ b/alliance/share/cells/sxlib/nxr2_x1.vbe
@@ -33,5 +33,8 @@ END nxr2_x1;
 ARCHITECTURE behaviour_data_flow OF nxr2_x1 IS
 
 BEGIN
-nq <= not ((i0 xor i1)) after 1100 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on nxr2_x1"
+  SEVERITY WARNING;
+  nq <= not ((i0 xor i1)) after 1100 ps;
 END;
diff --git a/alliance/share/cells/sxlib/nxr2_x4.al b/alliance/share/cells/sxlib/nxr2_x4.al
index 4d9d2729..098cbbc9 100644
--- a/alliance/share/cells/sxlib/nxr2_x4.al
+++ b/alliance/share/cells/sxlib/nxr2_x4.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H nxr2_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,10
-C nq,UNKNOWN,EXTERNAL,11
-C vdd,UNKNOWN,EXTERNAL,6
-C vss,UNKNOWN,EXTERNAL,1
+H nxr2_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,10
+C nq,OUT,EXTERNAL,11
+C vdd,IN,EXTERNAL,6
+C vss,IN,EXTERNAL,1
 T P,0.35,2.9,9,10,6,0,0.75,0.75,7.3,7.3,10.8,9.75,tr_00016
 T P,0.35,2.9,6,8,4,0,0.75,0.75,7.3,7.3,1.8,9.75,tr_00015
 T P,0.35,5.9,11,2,6,0,0.75,0.75,13.3,13.3,14.4,11.25,tr_00014
diff --git a/alliance/share/cells/sxlib/nxr2_x4.vbe b/alliance/share/cells/sxlib/nxr2_x4.vbe
index 6a631fb5..95a824d3 100644
--- a/alliance/share/cells/sxlib/nxr2_x4.vbe
+++ b/alliance/share/cells/sxlib/nxr2_x4.vbe
@@ -33,5 +33,8 @@ END nxr2_x4;
 ARCHITECTURE behaviour_data_flow OF nxr2_x4 IS
 
 BEGIN
-nq <= not ((i0 xor i1)) after 1200 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on nxr2_x4"
+  SEVERITY WARNING;
+  nq <= not ((i0 xor i1)) after 1200 ps;
 END;
diff --git a/alliance/share/cells/sxlib/o2_x2.al b/alliance/share/cells/sxlib/o2_x2.al
index a2cd6dac..735da31f 100644
--- a/alliance/share/cells/sxlib/o2_x2.al
+++ b/alliance/share/cells/sxlib/o2_x2.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H o2_x2,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,6
-C i1,UNKNOWN,EXTERNAL,7
-C q,UNKNOWN,EXTERNAL,3
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,1
+H o2_x2,L,27/ 9/99
+C i0,IN,EXTERNAL,6
+C i1,IN,EXTERNAL,7
+C q,OUT,EXTERNAL,3
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,1
 T P,0.35,5.9,3,2,4,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00006
 T P,0.35,4.4,4,6,5,0,0.75,0.75,10.3,10.3,3.6,10.5,tr_00005
 T P,0.35,4.4,5,7,2,0,0.75,0.75,10.3,10.3,2.4,10.5,tr_00004
diff --git a/alliance/share/cells/sxlib/o2_x2.vbe b/alliance/share/cells/sxlib/o2_x2.vbe
index 6eda74b7..bd2ff1c4 100644
--- a/alliance/share/cells/sxlib/o2_x2.vbe
+++ b/alliance/share/cells/sxlib/o2_x2.vbe
@@ -25,5 +25,8 @@ END o2_x2;
 ARCHITECTURE behaviour_data_flow OF o2_x2 IS
 
 BEGIN
-q <= (i0 or i1) after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on o2_x2"
+  SEVERITY WARNING;
+  q <= (i0 or i1) after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/o2_x4.al b/alliance/share/cells/sxlib/o2_x4.al
index dfeb7477..750569f2 100644
--- a/alliance/share/cells/sxlib/o2_x4.al
+++ b/alliance/share/cells/sxlib/o2_x4.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H o2_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,6
-C i1,UNKNOWN,EXTERNAL,7
-C q,UNKNOWN,EXTERNAL,3
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,2
+H o2_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,6
+C i1,IN,EXTERNAL,7
+C q,OUT,EXTERNAL,3
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,4,1,3,0,0.75,0.75,13.3,13.3,7.2,11.25,tr_00008
 T P,0.35,5.9,3,1,4,0,0.75,0.75,13.3,13.3,5.4,11.25,tr_00007
 T P,0.35,4.4,4,6,5,0,0.75,0.75,10.3,10.3,3.6,10.5,tr_00006
diff --git a/alliance/share/cells/sxlib/o2_x4.vbe b/alliance/share/cells/sxlib/o2_x4.vbe
index 98138604..c688b0e1 100644
--- a/alliance/share/cells/sxlib/o2_x4.vbe
+++ b/alliance/share/cells/sxlib/o2_x4.vbe
@@ -25,5 +25,8 @@ END o2_x4;
 ARCHITECTURE behaviour_data_flow OF o2_x4 IS
 
 BEGIN
-q <= (i0 or i1) after 1100 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on o2_x4"
+  SEVERITY WARNING;
+  q <= (i0 or i1) after 1100 ps;
 END;
diff --git a/alliance/share/cells/sxlib/o3_x2.al b/alliance/share/cells/sxlib/o3_x2.al
index 79319505..b9ac91e3 100644
--- a/alliance/share/cells/sxlib/o3_x2.al
+++ b/alliance/share/cells/sxlib/o3_x2.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H o3_x2,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,9
-C i2,UNKNOWN,EXTERNAL,7
-C q,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,2
+H o3_x2,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,9
+C i2,IN,EXTERNAL,7
+C q,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,1,3,4,0,0.75,0.75,13.3,13.3,7.2,11.25,tr_00008
 T P,0.35,4.4,6,7,3,0,0.75,0.75,10.3,10.3,1.8,10.5,tr_00007
 T P,0.35,4.4,5,9,6,0,0.75,0.75,10.3,10.3,3,10.5,tr_00006
diff --git a/alliance/share/cells/sxlib/o3_x2.vbe b/alliance/share/cells/sxlib/o3_x2.vbe
index 6746e395..13008a0e 100644
--- a/alliance/share/cells/sxlib/o3_x2.vbe
+++ b/alliance/share/cells/sxlib/o3_x2.vbe
@@ -31,5 +31,8 @@ END o3_x2;
 ARCHITECTURE behaviour_data_flow OF o3_x2 IS
 
 BEGIN
-q <= ((i0 or i1) or i2) after 1100 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on o3_x2"
+  SEVERITY WARNING;
+  q <= ((i0 or i1) or i2) after 1100 ps;
 END;
diff --git a/alliance/share/cells/sxlib/o3_x4.al b/alliance/share/cells/sxlib/o3_x4.al
index 244c9cb9..56027f59 100644
--- a/alliance/share/cells/sxlib/o3_x4.al
+++ b/alliance/share/cells/sxlib/o3_x4.al
@@ -1,11 +1,11 @@
 V ALLIANCE : 6
-H o3_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,7
-C i1,UNKNOWN,EXTERNAL,9
-C i2,UNKNOWN,EXTERNAL,8
-C q,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,5
-C vss,UNKNOWN,EXTERNAL,2
+H o3_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,7
+C i1,IN,EXTERNAL,9
+C i2,IN,EXTERNAL,8
+C q,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,5
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,1,3,5,0,0.75,0.75,13.3,13.3,8.7,11.25,tr_00010
 T P,0.35,5.9,1,3,5,0,0.75,0.75,13.3,13.3,6.9,11.25,tr_00009
 T P,0.35,4.4,5,7,4,0,0.75,0.75,10.3,10.3,4.2,10.5,tr_00008
diff --git a/alliance/share/cells/sxlib/o3_x4.vbe b/alliance/share/cells/sxlib/o3_x4.vbe
index a3be253e..9f3c9dd9 100644
--- a/alliance/share/cells/sxlib/o3_x4.vbe
+++ b/alliance/share/cells/sxlib/o3_x4.vbe
@@ -31,5 +31,8 @@ END o3_x4;
 ARCHITECTURE behaviour_data_flow OF o3_x4 IS
 
 BEGIN
-q <= ((i0 or i1) or i2) after 1200 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on o3_x4"
+  SEVERITY WARNING;
+  q <= ((i0 or i1) or i2) after 1200 ps;
 END;
diff --git a/alliance/share/cells/sxlib/o4_x2.al b/alliance/share/cells/sxlib/o4_x2.al
index 77dff438..1b18da86 100644
--- a/alliance/share/cells/sxlib/o4_x2.al
+++ b/alliance/share/cells/sxlib/o4_x2.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H o4_x2,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,7
-C i1,UNKNOWN,EXTERNAL,8
-C i2,UNKNOWN,EXTERNAL,9
-C i3,UNKNOWN,EXTERNAL,10
-C q,UNKNOWN,EXTERNAL,11
-C vdd,UNKNOWN,EXTERNAL,4
-C vss,UNKNOWN,EXTERNAL,1
+H o4_x2,L,27/ 9/99
+C i0,IN,EXTERNAL,7
+C i1,IN,EXTERNAL,8
+C i2,IN,EXTERNAL,9
+C i3,IN,EXTERNAL,10
+C q,OUT,EXTERNAL,11
+C vdd,IN,EXTERNAL,4
+C vss,IN,EXTERNAL,1
 T P,0.35,4.4,3,10,2,0,0.75,0.75,10.3,10.3,1.8,10.5,tr_00010
 T P,0.35,4.4,6,8,3,0,0.75,0.75,10.3,10.3,3,10.5,tr_00009
 T P,0.35,4.4,5,7,6,0,0.75,0.75,10.3,10.3,4.2,10.5,tr_00008
diff --git a/alliance/share/cells/sxlib/o4_x2.vbe b/alliance/share/cells/sxlib/o4_x2.vbe
index 0bb70177..dc8b024c 100644
--- a/alliance/share/cells/sxlib/o4_x2.vbe
+++ b/alliance/share/cells/sxlib/o4_x2.vbe
@@ -37,5 +37,8 @@ END o4_x2;
 ARCHITECTURE behaviour_data_flow OF o4_x2 IS
 
 BEGIN
-q <= (((i0 or i1) or i2) or i3) after 1200 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on o4_x2"
+  SEVERITY WARNING;
+  q <= (((i0 or i1) or i2) or i3) after 1200 ps;
 END;
diff --git a/alliance/share/cells/sxlib/o4_x4.al b/alliance/share/cells/sxlib/o4_x4.al
index 1d10382e..280a9363 100644
--- a/alliance/share/cells/sxlib/o4_x4.al
+++ b/alliance/share/cells/sxlib/o4_x4.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H o4_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,10
-C i2,UNKNOWN,EXTERNAL,9
-C i3,UNKNOWN,EXTERNAL,7
-C q,UNKNOWN,EXTERNAL,11
-C vdd,UNKNOWN,EXTERNAL,5
-C vss,UNKNOWN,EXTERNAL,2
+H o4_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,10
+C i2,IN,EXTERNAL,9
+C i3,IN,EXTERNAL,7
+C q,OUT,EXTERNAL,11
+C vdd,IN,EXTERNAL,5
+C vss,IN,EXTERNAL,2
 T P,0.35,5.9,5,7,6,0,0.75,0.75,13.3,13.3,6.6,11.25,tr_00012
 T P,0.35,5.9,3,8,4,0,0.75,0.75,13.3,13.3,4.2,11.25,tr_00011
 T P,0.35,5.9,4,10,1,0,0.75,0.75,13.3,13.3,3,11.25,tr_00010
diff --git a/alliance/share/cells/sxlib/o4_x4.vbe b/alliance/share/cells/sxlib/o4_x4.vbe
index cea9c8f0..d18fdc84 100644
--- a/alliance/share/cells/sxlib/o4_x4.vbe
+++ b/alliance/share/cells/sxlib/o4_x4.vbe
@@ -37,5 +37,8 @@ END o4_x4;
 ARCHITECTURE behaviour_data_flow OF o4_x4 IS
 
 BEGIN
-q <= (((i0 or i1) or i2) or i3) after 1300 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on o4_x4"
+  SEVERITY WARNING;
+  q <= (((i0 or i1) or i2) or i3) after 1300 ps;
 END;
diff --git a/alliance/share/cells/sxlib/one_x0.al b/alliance/share/cells/sxlib/one_x0.al
index 774960bc..43dbe7d1 100644
--- a/alliance/share/cells/sxlib/one_x0.al
+++ b/alliance/share/cells/sxlib/one_x0.al
@@ -1,8 +1,8 @@
 V ALLIANCE : 6
-H one_x0,L,21/ 9/99
-C q,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,1
-C vss,UNKNOWN,EXTERNAL,3
+H one_x0,L,27/ 9/99
+C q,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,1
+C vss,IN,EXTERNAL,3
 T P,0.35,2.9,2,3,1,0,0.75,0.75,7.3,7.3,2.1,9.75,tr_00001
 S 3,EXTERNAL,vss
 Q 0.00467048
diff --git a/alliance/share/cells/sxlib/one_x0.vbe b/alliance/share/cells/sxlib/one_x0.vbe
index 9c0bd3a7..e7439c59 100644
--- a/alliance/share/cells/sxlib/one_x0.vbe
+++ b/alliance/share/cells/sxlib/one_x0.vbe
@@ -13,7 +13,7 @@ END one_x0;
 ARCHITECTURE behaviour_data_flow OF one_x0 IS
 
 BEGIN
-  ASSERT ((vdd and not (vss)) = '1')
+  ASSERT (vdd and not (vss))
   REPORT "power supply is missing on one_x0"
   SEVERITY WARNING;
   q <= '1';
diff --git a/alliance/share/cells/sxlib/rowend_x0.al b/alliance/share/cells/sxlib/rowend_x0.al
index d916e519..8d1b3a39 100644
--- a/alliance/share/cells/sxlib/rowend_x0.al
+++ b/alliance/share/cells/sxlib/rowend_x0.al
@@ -1,9 +1,9 @@
 V ALLIANCE : 6
-H rowend_x0,L,21/ 9/99
-C vdd,UNKNOWN,EXTERNAL,2
-C vss,UNKNOWN,EXTERNAL,1
+H rowend_x0,L,27/ 9/99
+C vdd,IN,EXTERNAL,2
+C vss,IN,EXTERNAL,1
 S 2,EXTERNAL,vdd
-Q 0.00122551
+Q 0.00126725
 S 1,EXTERNAL,vss
-Q 0.00122551
+Q 0.00126725
 EOF
diff --git a/alliance/share/cells/sxlib/rowend_x0.vbe b/alliance/share/cells/sxlib/rowend_x0.vbe
index 22b204c5..a6aa24ba 100644
--- a/alliance/share/cells/sxlib/rowend_x0.vbe
+++ b/alliance/share/cells/sxlib/rowend_x0.vbe
@@ -8,7 +8,7 @@ END rowend_x0;
 ARCHITECTURE behaviour_data_flow OF rowend_x0 IS
 
 BEGIN
-  ASSERT ((vdd and not (vss)) = '1')
+  ASSERT (vdd and not (vss))
   REPORT "power supply is missing on rowend_x0"
   SEVERITY WARNING;
 END;
diff --git a/alliance/share/cells/sxlib/sff1_x4.al b/alliance/share/cells/sxlib/sff1_x4.al
index 55622eb3..7dab5fb6 100644
--- a/alliance/share/cells/sxlib/sff1_x4.al
+++ b/alliance/share/cells/sxlib/sff1_x4.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H sff1_x4,L,21/ 9/99
-C ck,UNKNOWN,EXTERNAL,5
-C i,UNKNOWN,EXTERNAL,6
-C q,UNKNOWN,EXTERNAL,13
-C vdd,UNKNOWN,EXTERNAL,14
-C vss,UNKNOWN,EXTERNAL,1
+H sff1_x4,L,27/ 9/99
+C ck,IN,EXTERNAL,5
+C i,IN,EXTERNAL,6
+C q,OUT,EXTERNAL,13
+C vdd,IN,EXTERNAL,14
+C vss,IN,EXTERNAL,1
 T P,0.35,2.9,17,13,14,0,0.75,0.75,7.3,7.3,21.6,12.75,tr_00026
 T P,0.35,2.9,12,3,17,0,0.75,0.75,7.3,7.3,19.8,12.75,tr_00025
 T P,0.35,2.9,9,2,12,0,0.75,0.75,7.3,7.3,18,12.75,tr_00024
diff --git a/alliance/share/cells/sxlib/sff1_x4.vbe b/alliance/share/cells/sxlib/sff1_x4.vbe
index 87311636..e718dd4a 100644
--- a/alliance/share/cells/sxlib/sff1_x4.vbe
+++ b/alliance/share/cells/sxlib/sff1_x4.vbe
@@ -16,7 +16,7 @@ GENERIC (
 PORT (
   ck	 : in  BIT;
   i	 : in  BIT;
-  q	 : out BIT;
+  q	 : inout BIT;
   vdd	 : in  BIT;
   vss	 : in  BIT
 );
@@ -26,11 +26,14 @@ ARCHITECTURE VBE OF sff1_x4 IS
   SIGNAL sff_m	 : REG_BIT REGISTER;
 
 BEGIN
+  ASSERT (vdd and not (vss))
+  REPORT "power supply is missing on sff1_x4"
+  SEVERITY WARNING;      
 
   label0 : BLOCK ((ck and not (ck'STABLE)) = '1')
   BEGIN
     sff_m <= GUARDED i;
   END BLOCK label0;
 
-q <= sff_m after 1700 ps;
+  q <= sff_m after 700 ps;
 END;
diff --git a/alliance/share/cells/sxlib/sff2_x4.al b/alliance/share/cells/sxlib/sff2_x4.al
index 50ad231d..c7424734 100644
--- a/alliance/share/cells/sxlib/sff2_x4.al
+++ b/alliance/share/cells/sxlib/sff2_x4.al
@@ -1,12 +1,12 @@
 V ALLIANCE : 6
-H sff2_x4,L,21/ 9/99
-C ck,UNKNOWN,EXTERNAL,11
-C cmd,UNKNOWN,EXTERNAL,6
-C i0,UNKNOWN,EXTERNAL,7
-C i1,UNKNOWN,EXTERNAL,8
-C q,UNKNOWN,EXTERNAL,17
-C vdd,UNKNOWN,EXTERNAL,19
-C vss,UNKNOWN,EXTERNAL,1
+H sff2_x4,L,27/ 9/99
+C ck,IN,EXTERNAL,11
+C cmd,IN,EXTERNAL,6
+C i0,IN,EXTERNAL,7
+C i1,IN,EXTERNAL,8
+C q,OUT,EXTERNAL,17
+C vdd,IN,EXTERNAL,19
+C vss,IN,EXTERNAL,1
 T P,0.35,5.9,19,16,17,0,0.75,0.75,13.3,13.3,32.4,11.25,tr_00034
 T P,0.35,2.9,19,3,23,0,0.75,0.75,7.3,7.3,18,12.75,tr_00033
 T P,0.35,2.9,15,14,19,0,0.75,0.75,7.3,7.3,25.2,12.75,tr_00032
diff --git a/alliance/share/cells/sxlib/sff2_x4.vbe b/alliance/share/cells/sxlib/sff2_x4.vbe
index 5e135359..ce28761c 100644
--- a/alliance/share/cells/sxlib/sff2_x4.vbe
+++ b/alliance/share/cells/sxlib/sff2_x4.vbe
@@ -38,11 +38,14 @@ ARCHITECTURE VBE OF sff2_x4 IS
   SIGNAL sff_m	 : REG_BIT REGISTER;
 
 BEGIN
+  ASSERT (vdd and not (vss))
+  REPORT "power supply is missing on sff2_x4"
+  SEVERITY WARNING;      
 
   label0 : BLOCK ((ck and not (ck'STABLE)) = '1')
   BEGIN
     sff_m <= GUARDED ((i1 and cmd) or (i0 and not (cmd)));
   END BLOCK label0;
 
-q <= sff_m after 1900 ps;
+  q <= sff_m after 2000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/tie_x0.al b/alliance/share/cells/sxlib/tie_x0.al
index 4240a0eb..1dd27cb1 100644
--- a/alliance/share/cells/sxlib/tie_x0.al
+++ b/alliance/share/cells/sxlib/tie_x0.al
@@ -1,7 +1,7 @@
 V ALLIANCE : 6
-H tie_x0,L,21/ 9/99
-C vdd,UNKNOWN,EXTERNAL,5
-C vss,UNKNOWN,EXTERNAL,2
+H tie_x0,L,27/ 9/99
+C vdd,IN,EXTERNAL,5
+C vss,IN,EXTERNAL,2
 S 7,INTERNAL
 Q 0.000176265
 S 6,INTERNAL
diff --git a/alliance/share/cells/sxlib/tie_x0.vbe b/alliance/share/cells/sxlib/tie_x0.vbe
index 1cb9788c..133f4326 100644
--- a/alliance/share/cells/sxlib/tie_x0.vbe
+++ b/alliance/share/cells/sxlib/tie_x0.vbe
@@ -8,7 +8,7 @@ END tie_x0;
 ARCHITECTURE behaviour_data_flow OF tie_x0 IS
 
 BEGIN
-  ASSERT ((vdd and not (vss)) = '1')
+  ASSERT (vdd and not (vss))
   REPORT "power supply is missing on tie_x0"
   SEVERITY WARNING;
 END;
diff --git a/alliance/share/cells/sxlib/ts_x4.al b/alliance/share/cells/sxlib/ts_x4.al
index d037590d..14995028 100644
--- a/alliance/share/cells/sxlib/ts_x4.al
+++ b/alliance/share/cells/sxlib/ts_x4.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H ts_x4,L,21/ 9/99
-C cmd,UNKNOWN,EXTERNAL,7
-C i,UNKNOWN,EXTERNAL,8
-C q,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,5
-C vss,UNKNOWN,EXTERNAL,3
+H ts_x4,L,27/ 9/99
+C cmd,IN,EXTERNAL,7
+C i,IN,EXTERNAL,8
+C q,TRISTATE,EXTERNAL,1
+C vdd,IN,EXTERNAL,5
+C vss,IN,EXTERNAL,3
 T P,0.35,2.9,2,7,5,0,0.75,0.75,7.3,7.3,5.4,12.75,tr_00012
 T P,0.35,5.9,1,6,5,0,0.75,0.75,13.3,13.3,1.8,11.25,tr_00011
 T P,0.35,2.9,6,8,5,0,0.75,0.75,7.3,7.3,13.2,11.25,tr_00010
diff --git a/alliance/share/cells/sxlib/ts_x4.vbe b/alliance/share/cells/sxlib/ts_x4.vbe
index ead2c4f5..7cef4b83 100644
--- a/alliance/share/cells/sxlib/ts_x4.vbe
+++ b/alliance/share/cells/sxlib/ts_x4.vbe
@@ -25,10 +25,13 @@ END ts_x4;
 ARCHITECTURE behaviour_data_flow OF ts_x4 IS
 
 BEGIN
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on ts_x4"
+  SEVERITY WARNING;
 
   label0 : BLOCK (cmd = '1')
   BEGIN
-q <= GUARDED i after 1100 ps;
+    q <= GUARDED i after 1100 ps;
   END BLOCK label0;
 
 END;
diff --git a/alliance/share/cells/sxlib/ts_x8.al b/alliance/share/cells/sxlib/ts_x8.al
index 954b17ee..91764850 100644
--- a/alliance/share/cells/sxlib/ts_x8.al
+++ b/alliance/share/cells/sxlib/ts_x8.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H ts_x8,L,21/ 9/99
-C cmd,UNKNOWN,EXTERNAL,7
-C i,UNKNOWN,EXTERNAL,8
-C q,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,3
-C vss,UNKNOWN,EXTERNAL,2
+H ts_x8,L,27/ 9/99
+C cmd,IN,EXTERNAL,7
+C i,IN,EXTERNAL,8
+C q,TRISTATE,EXTERNAL,1
+C vdd,IN,EXTERNAL,3
+C vss,IN,EXTERNAL,2
 T P,0.35,2.9,5,8,3,0,0.75,0.75,7.3,7.3,17.7,11.25,tr_00016
 T P,0.35,5.9,1,5,3,0,0.75,0.75,13.3,13.3,6.3,11.25,tr_00015
 T P,0.35,2.9,6,7,3,0,0.75,0.75,7.3,7.3,9.9,12.75,tr_00014
diff --git a/alliance/share/cells/sxlib/ts_x8.vbe b/alliance/share/cells/sxlib/ts_x8.vbe
index 6d86e60e..31f84ccc 100644
--- a/alliance/share/cells/sxlib/ts_x8.vbe
+++ b/alliance/share/cells/sxlib/ts_x8.vbe
@@ -25,10 +25,13 @@ END ts_x8;
 ARCHITECTURE behaviour_data_flow OF ts_x8 IS
 
 BEGIN
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on ts_x8"
+  SEVERITY WARNING;
 
   label0 : BLOCK (cmd = '1')
   BEGIN
-q <= GUARDED i after 1200 ps;
+    q <= GUARDED i after 1200 ps;
   END BLOCK label0;
 
 END;
diff --git a/alliance/share/cells/sxlib/xr2_x1.al b/alliance/share/cells/sxlib/xr2_x1.al
index a7d84f43..f0edf58d 100644
--- a/alliance/share/cells/sxlib/xr2_x1.al
+++ b/alliance/share/cells/sxlib/xr2_x1.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H xr2_x1,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,10
-C q,UNKNOWN,EXTERNAL,2
-C vdd,UNKNOWN,EXTERNAL,7
-C vss,UNKNOWN,EXTERNAL,4
+H xr2_x1,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,10
+C q,OUT,EXTERNAL,2
+C vdd,IN,EXTERNAL,7
+C vss,IN,EXTERNAL,4
 T P,0.35,5.9,7,10,6,0,0.75,0.75,13.3,13.3,9,11.25,tr_00012
 T P,0.35,5.9,6,5,2,0,0.75,0.75,13.3,13.3,7.2,11.25,tr_00011
 T P,0.35,5.9,6,8,7,0,0.75,0.75,13.3,13.3,3.6,11.25,tr_00010
diff --git a/alliance/share/cells/sxlib/xr2_x1.vbe b/alliance/share/cells/sxlib/xr2_x1.vbe
index 14d7505d..e2891e86 100644
--- a/alliance/share/cells/sxlib/xr2_x1.vbe
+++ b/alliance/share/cells/sxlib/xr2_x1.vbe
@@ -33,5 +33,8 @@ END xr2_x1;
 ARCHITECTURE behaviour_data_flow OF xr2_x1 IS
 
 BEGIN
-q <= (i0 xor i1) after 1000 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on xr2_x1"
+  SEVERITY WARNING;
+  q <= (i0 xor i1) after 1000 ps;
 END;
diff --git a/alliance/share/cells/sxlib/xr2_x4.al b/alliance/share/cells/sxlib/xr2_x4.al
index 6451305c..7f71f380 100644
--- a/alliance/share/cells/sxlib/xr2_x4.al
+++ b/alliance/share/cells/sxlib/xr2_x4.al
@@ -1,10 +1,10 @@
 V ALLIANCE : 6
-H xr2_x4,L,21/ 9/99
-C i0,UNKNOWN,EXTERNAL,8
-C i1,UNKNOWN,EXTERNAL,9
-C q,UNKNOWN,EXTERNAL,11
-C vdd,UNKNOWN,EXTERNAL,7
-C vss,UNKNOWN,EXTERNAL,1
+H xr2_x4,L,27/ 9/99
+C i0,IN,EXTERNAL,8
+C i1,IN,EXTERNAL,9
+C q,OUT,EXTERNAL,11
+C vdd,IN,EXTERNAL,7
+C vss,IN,EXTERNAL,1
 T P,0.35,2.9,10,9,7,0,0.75,0.75,7.3,7.3,10.8,9.75,tr_00016
 T P,0.35,2.9,7,8,4,0,0.75,0.75,7.3,7.3,1.8,9.75,tr_00015
 T P,0.35,5.9,11,2,7,0,0.75,0.75,13.3,13.3,14.4,11.25,tr_00014
diff --git a/alliance/share/cells/sxlib/xr2_x4.vbe b/alliance/share/cells/sxlib/xr2_x4.vbe
index ee616d4f..288d19a3 100644
--- a/alliance/share/cells/sxlib/xr2_x4.vbe
+++ b/alliance/share/cells/sxlib/xr2_x4.vbe
@@ -33,5 +33,8 @@ END xr2_x4;
 ARCHITECTURE behaviour_data_flow OF xr2_x4 IS
 
 BEGIN
-q <= (i0 xor i1) after 1300 ps;
+  ASSERT ((vdd and not (vss)) = '1')
+  REPORT "power supply is missing on xr2_x4"
+  SEVERITY WARNING;
+  q <= (i0 xor i1) after 1300 ps;
 END;
diff --git a/alliance/share/cells/sxlib/zero_x0.al b/alliance/share/cells/sxlib/zero_x0.al
index 56cea936..3f5d0ddd 100644
--- a/alliance/share/cells/sxlib/zero_x0.al
+++ b/alliance/share/cells/sxlib/zero_x0.al
@@ -1,8 +1,8 @@
 V ALLIANCE : 6
-H zero_x0,L,21/ 9/99
-C nq,UNKNOWN,EXTERNAL,1
-C vdd,UNKNOWN,EXTERNAL,3
-C vss,UNKNOWN,EXTERNAL,2
+H zero_x0,L,27/ 9/99
+C nq,OUT,EXTERNAL,1
+C vdd,IN,EXTERNAL,3
+C vss,IN,EXTERNAL,2
 T N,0.35,1.4,2,3,1,0,0.75,0.75,4.3,4.3,2.1,4.5,tr_00001
 S 3,EXTERNAL,vdd
 Q 0.00535397
diff --git a/alliance/share/cells/sxlib/zero_x0.vbe b/alliance/share/cells/sxlib/zero_x0.vbe
index 16a381bc..535efebc 100644
--- a/alliance/share/cells/sxlib/zero_x0.vbe
+++ b/alliance/share/cells/sxlib/zero_x0.vbe
@@ -13,7 +13,7 @@ END zero_x0;
 ARCHITECTURE behaviour_data_flow OF zero_x0 IS
 
 BEGIN
-  ASSERT ((vdd and not (vss)) = '1')
+  ASSERT (vdd and not (vss))
   REPORT "power supply is missing on zero_x0"
   SEVERITY WARNING;
   nq <= '0';