Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
intro_example:gates [2020/05/01 16:32]
rajit
intro_example:gates [2020/12/02 01:00]
127.0.0.1 external edit
Line 39: Line 39:
 </code> </code>
  
-This would be accepted by ACT, and the production rule simulator [[tools:prsim|prsim]] can simulate such rules without difficulty. However, +This would be accepted by ACT, and the production rule simulator [[tools:prsim|prsim]] can simulate such rules without difficulty. However, a CMOS circuit designer would observe that one cannot implement this directly using a single pull-up and pull-down network in static CMOS. Instead, someone used to circuit design would write:
-a circuit designer would look at this and point out that we cannot implement this directly using a single pull-up and pull-down network in +
-static CMOS. Instead, someone used to circuit design would write:+
  
 <code> <code>
Line 71: Line 69:
 In terms of naming, the ports of ''n'' are ''n.a'', ''n.b'', and ''n.c''; similarly the ports for ''i'' are ''i.i'' and ''i.o''. ACT uses the dot as a hierarchy separator. This version of an ''and2'' contains one level of hierarchy. In terms of naming, the ports of ''n'' are ''n.a'', ''n.b'', and ''n.c''; similarly the ports for ''i'' are ''i.i'' and ''i.o''. ACT uses the dot as a hierarchy separator. This version of an ''and2'' contains one level of hierarchy.
  
-ACT provides a very flexible mechanism for connecting signals. The following variants that correspond to the same connections.+ACT provides a very flexible mechanism for connecting signals. The following are variants that correspond to the same connections.
  
 <code> <code>
Line 123: Line 121:
 { {
   nand2 n(.a=a, .b=b);   nand2 n(.a=a, .b=b);
-  inverter i(.i=n.c, .o=c);  // note that we don't need the intermediate _c+  inverter i(.i=n.c, .o=c);  // note that we don't need the intermediate name _c
 } }