Table of Contents

• Finite element mesh generation employing satellite graphicsSze-Keung Lee, Walter S. Reed. 1-6 [doi]
• KINSYN: A minicomputer-based interactive mechanism design systemAndrew J. Rubel, Roger E. Kaufman. 7-16 [doi]
• A preprocessor for structural analysis programsPeter K. Ho. 17-24 [doi]
• Applications of a numerical geometry system in engineeringJames Mayfield, Richard M. Burkley. 25-33 [doi]
• Interactive graphics package for human engineering and layout of vehicle workspaceGerald F. Rabideau, James Farnady. 34-41 [doi]
• Functional simulation in the lamp systemStephen G. Chappell, Premachandran R. Menon, J. F. Pellegrin, A. M. Schowe. 42-47 [doi]
• Development and application of a designer oriented cyclic simulatorG. J. Parasch, R. Leon Price. 48-53 [doi]
• An accurate time delay model for large digital network simulationC. Chicoix, J. Pedoussat, Norbert Giambiasi. 54-60 [doi]
• Non-integral event timing for digital logic simulationErnest G. Ulrich. 61-67 [doi]
• F/LOGIC - An interactive fault and logic simulator for digital circuitsPhilip S. Wilcox, H. Rombeek. 68-73 [doi]
• A successful automated IC design systemWilliam V. Herrick, James R. Sims. 74-78 [doi]
• Automatic layout of low-cost quick-turnaround random-logic custom LSI devicesA. Feller. 79-85 [doi]
• Engagement of interactive graphic tools in a CAD-system for digital unitsEgon Hörbst, R. Prechtl, Will Barker. 86-90 [doi]
• Use of an on-line, time-shared graphics system to design and document printed circuit boardsLeonard Marks. 91-103 [doi]
• Computer aided design of printed circuit boards using remote graphics and TSOHarvey N. Lerman. 104-108 [doi]
• Petri nets as a common tool for design verification and hardware simulationPierre Azéma, Robert Valette, Michel Diaz. 109-116 [doi]
• Transmission line models, a unified physical network approachSergio Bernstein. 117-130 [doi]
• Bandpass filter approximation by interactive graphicsHerman Daae. 131-133 [doi]
• A system for computer assisted planning (Planning ADES)Allan Cytryn, William H. Parsons. 134-140 [doi]
• A language for selective distortion of spatial structuresFatih Akben, S. G. Haider. 141-150 [doi]
• A new routing algorithm for two-sided boards with floating viasWenliang Wu, Douglas C. Schmidt. 151-160 [doi]
• A topologically adaptable cellular routerJames R. Allen. 161-167 [doi]
• An organizational approach to routing printed circuit boardsBarry D. Heller, Robert S. Fisher. 168-171 [doi]
• A solution to closeness checking of non-orthogonal printed circuit board wiringR. N. Piscatelli, P. Tingleff. 172-178 [doi]
• Multi-defect real time diagnosis using a single pin probeLubomyr M. Zobniw. 179-185 [doi]
• CDALGO - a test pattern generation programGlen D. Vaughn. 186-193 [doi]
• An implementation of computer aided test generation techniquesRobert W. Rozeboom, Jeri Jane Crowley. 194-202 [doi]
• Current problems related to LSI functional testingRobert W. Rozeboom. 203-204 [doi]
• An automated probing procedure for board testingWilliam A. Johnson. 205-213 [doi]
• Some experimental results on placement techniquesMaurice Hanan, Peter K. Wolff Sr., Barbara J. Agule. 214-224 [doi]
• A new philosophy for interconnection on multilayer boardsB. Ramakrishna Rau. 225-231 [doi]
• Common feature techniques for discrete optimizationA. J. Goldstein, A. B. Lesk. 232-244 [doi]
• Placement and routing program for master-slice LSI'sRyotaro Kamikawai, Kuniaki Kishida, Akira Osawa, Isao Yasuda, Tsuneyo Chiba. 245-250 [doi]
• An analytic technique for router comparisonDavid C. Wilson, Robert J. Smith II. 251-258 [doi]
• A proven operational CAD system for P.W.B. design-based on a mini-computer and featuring fully automatic placement and routingG. L. Patterson, B. H. Phillips. 259-264 [doi]
• Analysis of actual fault mechanisms in CMOS logic gatesGlenn R. Case. 265-270 [doi]
• Partitioning logic circuits to maximize fault resolutionAyee Goundan, John P. Hayes. 271-277 [doi]
• SEGMA - A simulation package for conception aid and fault tolerance evaluation of computing systemsJerome L. Paul, R. Troy. 278-284 [doi]
• Control and integration of a CAD data basePeter L. Ciampi, A. D. Donovan, J. D. Nash. 285-289 [doi]
• Concepts in CAD data base structuresPeter L. Ciampi, J. D. Nash. 290-294 [doi]
• An approach to program verificationRaymond T. Yeh. 295-300 [doi]
• Design rule checking and analysis of IC mask designsWray Lindsay Buntine, Bryan Preas. 301-308 [doi]
• Automatic circuit analysis based on mask informationBryan Preas, Wray Lindsay Buntine, Charles W. Gwyn. 309-317 [doi]
• SLEUTH - a metal-to-metal audit program in an interactive environmentDavid W. Hightower. 318-326 [doi]
• The automatic recognition of silicon gate transistor geometries: An LSI design aid programIvan Dobes, Ron Byrd. 327-335 [doi]
• Correction and wiring check-system for master-slice LSIYasuhiro Ikemoto, Toshiki Sugiyama, Kenichi Igarashi, Hiroshi Kano. 336-343 [doi]
• A quantitative assessment of IBM's programming productivity techniquesLinda C. Jones, David A. Nelson. 344-353 [doi]
• The design of program logicNorman L. Soong. 354-365 [doi]
• An approach to interactive graphic programmingPat Velderman, Gregory F. Pfister, Pyung June Min. 366-370 [doi]
• Language extensibility and program designRonald D. Hubbard Jr.. 371-376 [doi]
• Automatic generation of logic diagramsJames A. Smith, James G. Linders. 377-391 [doi]
• Non-gridded graphic inputRoger Rutman. 392-398 [doi]
• LTX - a system for the directed automatic design of LSI circuitsG. Persky, David N. Deutsch, Daniel G. Schweikert. 399-407 [doi]
• A 2-dimensional placement algorithm for the layout of electrical circuitsDaniel G. Schweikert. 408-416 [doi]
• PRO - an automatic string placement program for polycell layoutG. Persky. 417-424 [doi]
• A "Dogleg" channel routerDavid N. Deutsch. 425-433 [doi]
• SLIC - Symbolic Layout of Integrated CircuitsDave Gibson, Scott Nance. 434-440 [doi]
• On the topological aspects of the circuit layout problemWilliam M. van Cleemput. 441-450 [doi]
• The literature of software engineering: Description and guideA. R. Pierce. 451-461 [doi]
• Automating the design of microprocessor-based real time control systemsMathew N. Matelan. 462-469 [doi]
• Specification techniquesLawrence Robinson. 470-478 [doi]
• A principle of algorithm design on limited problem domainJayadev Misra. 479-483 [doi]
• Software reliability and design: A surveyPeter Freeman. 484-494 [doi]
• The calculation of the dimensions for an electromagnet with a T armatureGrigore A. Cividjian, Profir Degeratu, Oleg Cernian. 495-501 [doi]