home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 13 / 13.iso / p / p078 / 5.img / VLIB.PLB / INTEL_P.DSF < prev    next >
Encoding:
Text File  |  1989-01-18  |  7.9 KB  |  383 lines
  1. ; The following is the INTEL Primitive library.
  2. ;
  3. ;All of the models contained in this file are Functional (Unit Delay) models,
  4. ;this means that timing parameters were not modeled.
  5. ;
  6. ;All register primitives are cleared upon initialization.
  7. ;
  8. ;Reference material used for the creation of the models contained in the file
  9. ;were;
  10. ;
  11. ;    1. The INTEL iPLSII USER'S Guide, version 1.50,
  12. ;       January 1987, 450196-002.
  13. ;
  14. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 
  15. ; 
  16. :AND2       INTEL_P        3
  17. AND(P1,P2;P3;1,1,1,1);
  18. %
  19. ;
  20. :AND3       INTEL_P        4
  21. AND(P1,P2,P3;P4;1,1,1,1);
  22. %
  23. ;
  24. :AND4       INTEL_P        5
  25. AND(P1,P2,P3,P4;P5;1,1,1,1);
  26. %
  27. ;
  28. :AND6       INTEL_P        7
  29. AND(P1,P2,P3,P4,P5,P6;P7;1,1,1,1);
  30. %
  31. ;
  32. :AND8       INTEL_P        9
  33. AND(P1,P2,P3,P4,P5,P6,P7,P8;P9;1,1,1,1);
  34. %
  35. ;
  36. :AND12      INTEL_P       13
  37. AND(P1,P2,P3,P4,P5,P6,P7,P8,P9,P10,P11,P12;P13;1,1,1,1);
  38. %
  39. ;
  40. :NAND2       INTEL_P        3
  41. NAND(P1,P2;P3;1,1,1,1);
  42. %
  43. ;
  44. :NAND3       INTEL_P        4
  45. NAND(P1,P2,P3;P4;1,1,1,1);
  46. %
  47. ;
  48. :NAND4       INTEL_P        5
  49. NAND(P1,P2,P3,P4;P5;1,1,1,1);
  50. %
  51. ;
  52. :NAND6       INTEL_P        7
  53. NAND(P1,P2,P3,P4,P5,P6;P7;1,1,1,1);
  54. %
  55. ;
  56. :NAND8       INTEL_P        9
  57. NAND(P1,P2,P3,P4,P5,P6,P7,P8;P9;1,1,1,1);
  58. %
  59. ;
  60. :NAND12      INTEL_P       13
  61. NAND(P1,P2,P3,P4,P5,P6,P7,P8,P9,P10,P11,P12;P13;1,1,1,1);
  62. %
  63. ;
  64. :OR2       INTEL_P        3
  65. OR(P1,P2;P3;1,1,1,1);
  66. %
  67. ;
  68. :OR3       INTEL_P        4
  69. OR(P1,P2,P3;P4;1,1,1,1);
  70. %
  71. ;
  72. :OR4       INTEL_P        5
  73. OR(P1,P2,P3,P4;P5;1,1,1,1);
  74. %
  75. ;
  76. :OR6       INTEL_P        7
  77. OR(P1,P2,P3,P4,P5,P6;P7;1,1,1,1);
  78. %
  79. ;
  80. :OR8       INTEL_P        9
  81. OR(P1,P2,P3,P4,P5,P6,P7,P8;P9;1,1,1,1);
  82. %
  83. ;
  84. :OR12      INTEL_P       13
  85. OR(P1,P2,P3,P4,P5,P6,P7,P8,P9,P10,P11,P12;P13;1,1,1,1);
  86. %
  87. ;
  88. :NOR2       INTEL_P        3
  89. NOR(P1,P2;P3;1,1,1,1);
  90. %
  91. ;
  92. :NOR3       INTEL_P        4
  93. NOR(P1,P2,P3;P4;1,1,1,1);
  94. %
  95. ;
  96. :NOR4       INTEL_P        5
  97. NOR(P1,P2,P3,P4;P5;1,1,1,1);
  98. %
  99. ;
  100. :NOR6       INTEL_P        7
  101. NOR(P1,P2,P3,P4,P5,P6;P7;1,1,1,1);
  102. %
  103. ;
  104. :NOR8       INTEL_P        9
  105. NOR(P1,P2,P3,P4,P5,P6,P7,P8;P9;1,1,1,1);
  106. %
  107. ;
  108. :NOR12      INTEL_P       13
  109. NOR(P1,P2,P3,P4,P5,P6,P7,P8,P9,P10,P11,P12;P13;1,1,1,1);
  110. %
  111. ;
  112. :XOR       INTEL_P        3
  113. XOR(P1,P2;P3;1,1,1,1);
  114. %
  115. ;
  116. :XNOR       INTEL_P        3
  117. XNOR(P1,P2;P3;1,1,1,1);
  118. %
  119. ;
  120. ;BUBBLE BUFFER
  121. :BBUF       INTEL_P        2
  122. INV(P1;P2;1,1,1,1);
  123. %
  124. ;
  125. ;ASYNCHRONOUS CLOCK BUFFER
  126. :CLKB       INTEL_P        2
  127. BUF(P1;P2;1,1,1,1);
  128. %
  129. ;
  130. ;LOGICAL INVERSION
  131. :NOT        INTEL_P        2
  132. INV(P1;P2;1,1,1,1);
  133. %
  134. ;
  135. ;COMBINATORIAL OUTPUT, COMBINATORIAL FEEDBACK
  136. :COCF       INTEL_P        4
  137. TSB(P1,P2;P4;1,1,1,1,1,1,1,1);
  138. TSB(P1,ONE;P3;1,1,1,1,1,1,1,1);
  139. %
  140. ;
  141. ;COMBINATORIAL OUTPUT, I/O FEEDBACK
  142. :COIF       INTEL_P        4
  143. TSB(P1,P2;P4;1,1,1,1,1,1,1,1);
  144. TSB(P4,ONE;P3;1,1,1,1,1,1,1,1);
  145. %
  146. ;
  147. ;COMBINATORIAL OUTPUT, LATCHED FEEDBACK
  148. :COLF       INTEL_P        5
  149. TSB(P1,P2;P5;1,1,1,1,1,1,1,1);
  150. DLATCH(P5,P3;P4;1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  151. %
  152. ;
  153. ;COMBINATORIAL OUTPUT, NO FEEDBACK
  154. :CONF       INTEL_P        3
  155. TSB(P1,P2;P3;1,1,1,1,1,1,1,1);
  156. %
  157. ;
  158. ;COMBINATORIAL OUTPUT, REGISTERED FEEDBACK
  159. :CORF       INTEL_P        7
  160. LINV(P4;L1);
  161. LINV(P3;L2);
  162. LAND(L2,IPL;L3);
  163. DQFFPC(P1,P2,L1,L3;P6;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  164. TSB(P1,P5;P7;1,1,1,1,1,1,1,1);
  165. %
  166. ;
  167. ;JK OUTPUT, JK FEEDBACK
  168. :JOJF       INTEL_P        8
  169. LINV(P5;L1);
  170. LINV(P4;L2);
  171. LAND(L2,IPL;L3);
  172. JKFFPC(P1,P3,P2,L1,L3;P7,N1;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  173. TSB(P7,P6;P8;1,1,1,1,1,1,1,1);
  174. %
  175. ;
  176. ;JK OUTPUT, NO FEEDBACK
  177. :JONF       INTEL_P        7
  178. LINV(P5;L1);
  179. LINV(P4;L2);
  180. LAND(L2,IPL;L3);
  181. JKFFPC(P1,P3,P2,L1,L3;N1,N2;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  182. TSB(N1,P6;P7;1,1,1,1,1,1,1,1);
  183. %
  184. ;
  185. ;NO OUTPUT, COMBINATORIAL FEEDBACK
  186. :NOCF       INTEL_P        2
  187. BUF(P1;P2;1,1,1,1);
  188. %
  189. ;
  190. ;NO OUTPUT, JK FEEDBACK
  191. :NOJF       INTEL_P        6
  192. LINV(P5;L1);
  193. LINV(P4;L2);
  194. LAND(L2,IPL;L3);
  195. JKFFPC(P1,P3,P2,L1,L3;P6,N1;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  196. %
  197. ;
  198. ;NO OUTPUT, REGISTERED FEEDBACK
  199. :NORF       INTEL_P        5
  200. LINV(P4;L1);
  201. LINV(P3;L2);
  202. LAND(L2,IPL;L3);
  203. DQFFPC(P1,P2,L1,L3;P5;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  204. %
  205. ;
  206. ;NO OUTPUT, SR FEEDBACK
  207. :NOSF       INTEL_P        6
  208. LINV(P5;L1);
  209. LAND(L1,P1,P2;L2);
  210. NOR(L2,N4;N1;1,1,1,1);
  211. LXNOR(N1,P2;L3);
  212. LINV(P2;L4);
  213. LOR(L3,L4;L5);
  214. AND(N3,L1;N4;1,1,1,1);
  215. LINV(P4;L6);
  216. LAND(L6,IPL;L7);
  217. LAND(L7,P3,P2;L8);
  218. NOR(L8,N2;N3;1,1,1,1);
  219. LXNOR(P2,N3;L9);
  220. LOR(L9,L4;L10);
  221. AND(L7,N1;N2;1,1,1,1);
  222. NAND(P6,L10,L7;N5;1,1,1,1);
  223. NAND(N5,L5,L1;P6;1,1,1,1);
  224. %
  225. ;
  226. ;REGISTERED OUTPUT, COMBINATORIAL FEEDBACK
  227. :ROCF       INTEL_P        7
  228. LINV(P4;L1);
  229. LINV(P3;L2);
  230. LAND(L2,IPL;L3);
  231. DQFFPC(P1,P2,L1,L3;N1;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  232. TSB(N1,P5;P7;1,1,1,1,1,1,1,1);
  233. TSB(P1,ONE;P6;1,1,1,1,1,1,1,1);
  234. %
  235. ;
  236. ;REGISTERED OUTPUT, I/O FEEDBACK
  237. :ROIF       INTEL_P        7
  238. LINV(P4;L1);
  239. LINV(P3;L2);
  240. LAND(L2,IPL;L3);
  241. DQFFPC(P1,P2,L1,L3;N1;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  242. TSB(N1,P5;P7;1,1,1,1,1,1,1,1);
  243. TSB(P7,ONE;P6;1,1,1,1,1,1,1,1);
  244. %
  245. ;
  246. ;REGISTERED OUTPUT, LATCHED FEEDBACK
  247. :ROLF       INTEL_P        8
  248. LINV(P4;L1);
  249. LINV(P3;L2);
  250. LAND(L2,IPL;L3);
  251. DQFFPC(P1,P2,L1,L3;N1;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  252. TSB(N1,P5;P8;1,1,1,1,1,1,1,1);
  253. DLATCH(P8,P6;P7;1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  254. %
  255. ;
  256. ;REGISTERED OUTPUT, NO FEEDBACK
  257. :RONF       INTEL_P        6
  258. LINV(P4;L1);
  259. LINV(P3;L2);
  260. LAND(L2,IPL;L3);
  261. DQFFPC(P1,P2,L1,L3;N1;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  262. TSB(N1,P5;P6;1,1,1,1,1,1,1,1);
  263. %
  264. ;
  265. ;REGISTERED OUTPUT, REGISTERED FEEDBACK
  266. :RORF       INTEL_P        7
  267. LINV(P4;L1);
  268. LINV(P3;L2);
  269. LAND(L2,IPL;L3);
  270. DQFFPC(P1,P2,L1,L3;P6;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  271. TSB(P6,P5;P7;1,1,1,1,1,1,1,1);
  272. %
  273. ;
  274. ;SR OUTPUT, NO FEEDBACK
  275. :SONF       INTEL_P        7
  276. LINV(P5;L1);
  277. LAND(L1,P1,P2;L2);
  278. NOR(L2,N4;N1;1,1,1,1);
  279. LXNOR(N1,P2;L3);
  280. LINV(P2;L4);
  281. LOR(L3,L4;L5);
  282. AND(N3,L1;N4;1,1,1,1);
  283. LINV(P4;L6);
  284. LAND(L6,IPL;L7);
  285. LAND(L7,P3,P2;L8);
  286. NOR(L8,N2;N3;1,1,1,1);
  287. LXNOR(P2,N3;L9);
  288. LOR(L9,L4;L10);
  289. AND(L7,N1;N2;1,1,1,1);
  290. NAND(N5,L10,L7;N6;1,1,1,1);
  291. NAND(N6,L5,L1;N5;1,1,1,1);
  292. TSB(N5,P6;P7;1,1,1,1,1,1,1,1);
  293. %
  294. ;
  295. ;SR OUTPUT, NO FEEDBACK
  296. :SOSF       INTEL_P        8
  297. LINV(P5;L1);
  298. LAND(L1,P1,P2;L2);
  299. NOR(L2,N4;N1;1,1,1,1);
  300. LXNOR(N1,P2;L3);
  301. LINV(P2;L4);
  302. LOR(L3,L4;L5);
  303. AND(N3,L1;N4;1,1,1,1);
  304. LINV(P4;L6);
  305. LAND(L6,IPL;L7);
  306. LAND(L7,P3,P2;L8);
  307. NOR(L8,N2;N3;1,1,1,1);
  308. LXNOR(P2,N3;L9);
  309. LOR(L9,L4;L10);
  310. AND(L7,N1;N2;1,1,1,1);
  311. NAND(P7,L10,L7;N5;1,1,1,1);
  312. NAND(N5,L5,L1;P7;1,1,1,1);
  313. TSB(P7,P6;P8;1,1,1,1,1,1,1,1);
  314. %
  315. ;
  316. ;T OUTPUT, T FEEDBACK
  317. :TOTF       INTEL_P        7
  318. LINV(P4;L1);
  319. LINV(P3;L2);
  320. LAND(L2,IPL;L3);
  321. DFFPC(N2,P2,L1,L3;P6,N1;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  322. XNOR(P1,N1;N2;1,1,1,1);
  323. TSB(P6,P5;P7;1,1,1,1,1,1,1,1);
  324. %
  325. ;
  326. ;T OUTPUT, I/O FEEDBACK
  327. :TOIF       INTEL_P        7
  328. LINV(P4;L1);
  329. LINV(P3;L2);
  330. LAND(L2,IPL;L3);
  331. DFFPC(N3,P2,L1,L3;N1,N2;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  332. XNOR(P1,N2;N3;1,1,1,1);
  333. TSB(N1,P5;P7;1,1,1,1,1,1,1,1);
  334. TSB(P7,ONE;P6;1,1,1,1,1,1,1,1);
  335. %
  336. ;
  337. ;T OUTPUT, NO FEEDBACK
  338. :TONF       INTEL_P        6
  339. LINV(P4;L1);
  340. LINV(P3;L2);
  341. LAND(L2,IPL;L3);
  342. DFFPC(N3,P2,L1,L3;N1,N2;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  343. XNOR(P1,N2;N3;1,1,1,1);
  344. TSB(N1,P5;P6;1,1,1,1,1,1,1,1);
  345. %
  346. ;
  347. ;NO OUTPUT, T FEEDBACK
  348. :NOTF       INTEL_P        5
  349. LINV(P4;L1);
  350. LINV(P3;L2);
  351. LAND(L2,IPL;L3);
  352. DFFPC(N2,P2,L1,L3;P5,N1;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  353. XNOR(P1,N1;N2;1,1,1,1);
  354. %
  355. ;
  356. ;PRIMARY INPUT
  357. :INP        INTEL_P        2
  358. TSB(P1,ONE;P2;1,1,1,1,1,1,1,1);
  359. %
  360. ;
  361. ;LATCHED PRIMARY INPUT
  362. :LINP       INTEL_P        3
  363. DLATCH(P1,P2;P3;1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  364. %
  365. ;
  366. ;REGISTERED INPUT
  367. :RINP       INTEL_P        5
  368. LINV(P4;L1);
  369. LINV(P3;L2);
  370. LAND(L2,IPL;L3);
  371. DQFFPC(P1,P2,L1,L3;P5;1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1);
  372. %
  373. ;
  374. ;INPUT LATCH ENABLE
  375. :LINB       INTEL_P        2
  376. BUF(P1;P2;1,1,1,1);
  377. %
  378. ;
  379. ;I/O MACROCELL OUTPUT ENABLE BUFFER
  380. :OENB       INTEL_P        2
  381. BUF(P1;P2;1,1,1,1);
  382. %
  383.