%A Carver A. Mead %T VLSI and technological innovation %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 3-11 %A Carlo H. Sequin %T Generalized IC layout rules and layout representations %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 13-23 %A E.E. Barton %T A non-metric design methodology for VLSI %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 25-34 %A R.H. Krambeck %A D.E. Blahut %A H.F.S. Law %A B.W. Colbry %A H.C. So %A M. Harrison %A J. Soukup %T Top down design of a one chip 32-bit CPU %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 35-41 %A Hassan M. Ahmed %A Martin Morf %T Synthesis and control of signal processing architectures based on rotations %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 43-52 %A J. Alves Margues %T MOSAIC: a modular architecture for VLSI system circuits %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 53-61 %A Martin Rem %T The VLSI challenge: complexity bridling %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 65-73 %A M.J. Foster %A H.T. Kung %T Recognize regular languages with programmable building blocks %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 75-84 %A M. Gordon %T A very simple model of sequential behaviour of nMOS %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 85-94 %A H. Chang %A W.W. Molzen %A J.P. Hwang %A J.C. Wu %T Magnetic-bubble VLSI integrated systems %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 95-104 %A Brian Collins %A Alan Gray %T The Inmos hardware description language and interactive simulator %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 107-116 %K HDL %A Neil Weste %A Bryan Ackland %T A pragmatic approach to toppological symbolic IC design %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 117-129 %A Richard F. Lyon %T A bit-serial VLSI architectural methodology for signal processing %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 131-140 %A Jean-Pierre Banatre %A Patrice Frison %A Patrice Quinton %T A network for the detection of words in continuous speech %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 141-150 %A P.B. Denyer %A D.J. Myers %T Carry-save arrays for VLSI signal processing %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 151-160 %A R.C. Mosteller %T REST: a leaf cell design system %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 163-172 %A Luca Cardelli %A Gordon Plotkin %T An algebraic approach to VLSI design %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 173-182 %A John Batali %A Neil Mayle %A Howard Shrobe %A Gerald Sussman %A Daniel Weise %T The DPL/Daedalus design environment %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 183-192 %A D.J. Kinniment %T Regular programmable control structures %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 193-202 %A J. Craig Mudge %T VLSI chip design at the crossroads %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 205-215 %A Telle Whitney %T A hierarchical design analysis front end %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 217-225 %A Charle R. Rupp %T Components of a silicon compiler system %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 227-236 %A Lawrence Snyder %T Overview of the CHiP computer %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 237-246 %A Kent F. Smith %T Implementation of SLA's in NMOS technology %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 247-256 %A Se June Hong %A Ravi Nair %A Eugene Shapiro %T A physical design machine %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 257-266 %A Bernard Chazelle %A Louis Monier %T Optimality in VLSI %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 269-278 %A Robert H. Kohn %T Chip bandwidth bounds by logic-memory tradeoffs %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 279-288 %A F. Thomson Leighton %A Gary L. Miller %T Optimal layouts for small shuffle-exchange graphs %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 289-299 %A W.E. Donath %A W.F. Mikhail %T Wiring space estimation for rectangular gate arrays %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 301-310 %A M.W. Larkin %T Impact of technology on the development of VLSI %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 313-318 %A K.D. Mueller-Glaser %A L. Lerach %T A general cell approach for special purpose VLSI chips %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 319-327 %A Randal E. Bryant %T A switch-level model of MOS logic circuits %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 329-340 %A B. Courtois %T Failure mechanisms, fault hypotheses and analytical testing of LSI-NMOS (HMOS) circuits %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 341-350 %A J. Paul Roth %T Automatic synthesis, verification and testing %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 351-355 %A A.C. Parker %A L.J. Hafer %T Automating the design of testable hardware %J Proceedings of the First International Conference on Very Large Scale Integration %C Edinburgh, Scotland %D August 1981 %E John P. Gray %O published as "VLSI 81" by Academic Press %K vlsi81 %P 357-363 %A Carver A. Mead %T Structural and behavioral composition of VLSI %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 3-8 %A Minoru Ono %A Fumimaro Kawakatsu %T Evolution of the semiconductor industry in Japan %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 9-19 %A H.G. Schwaertzel %T Testing of VLSI circuits %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 21-33 %A N.P. Chen %A C.P. Hsu %A E.S. Kuh %T The Berkeley building-block (BBL) layout system for VLSI design %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 37-44 %A Michael Burstein %A Se June Hong %A Richard Pelavin %T Hierarchical VLSI layout: simultaneous placement and wiring of gate arrays %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 45-60 %A Steven M. Rubin %T An integrated aid for top-down electrical design %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 63-72 %A Klaus-Dieter Lewke %A Franz J. Rammig %T Description and simulation of MOS devices in register transfer language %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 73-83 %A Randal E. Bryant %T Race detection in MOS circuits by ternary simulation %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 85-95 %A Stephen Trimberger %T Automated performance optimization of custom integrated circuits %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 99-108 %A Hiroshi Sakuma %A Yoshitada Fujinami %A Tsuneo Kurobe %T NELSIM: a hierarchical VLSI design verification system %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 109-118 %A D. Borrione %A M. Humbert %A C. Le\ Faou %T Hierarchical mixed-mode simulation mechanisms in the CASCADE project %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 119-129 %A S. Purushothaman %A P.A. Subrahmanyam %T An algebraic basis for specifying and reasoning about protocols for designing self timed circuits %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 133-144 %A R.P. Brent %A H.T. Kung %T Systolic VLSI arrays for linear-time GCD computation %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 145-154 %A W.K. Luk %A J.E. Vullemin %T Recursive implementation of optimal time VLSI integer multipliers %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 155-168 %A H. De\ Man %A L. Reynders %A M. Bartholomeus %A J. Cornelissen %T PLASCO: a silicon compiler for nMOS and CMOS PLA's %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 171-181 %A J. Forrest %A M.D. Edwards %T The automatic generation of programmable logic arrays from algorithmic state machine descriptions %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 183-193 %A P.A. Subrahmanyam %T Synthesizing VLSI circuits from behavioral specifications: a very high level silicon compiler and its theoretical basis %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 195-210 %A Michel Depeyrot %T Structured design strategies %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 213-225 %A R.A. Evans %A D. Wood %A K. Wood %A J.V. McCanny %A J.G. McWhirter %A A.P.R. McCabe %T A CMOS implementation of a systolic multi-bit convolver chip %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 227-235 %A Oliver R. Hinton %A Hamid A. Alikhani %T A VLSI architecture for adaptive digital filtering utilizing the number theoretic transform %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 237-246 %A Sun-Yuan Kung %T From traversal filter to VLSI wavefront array %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 247-261 %A Yngvar Lundh %T "Multisource" - a standard for safe fabrication %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 265-272 %A H. Kurokawa %A K. Matsumoto %A T. Temma %A M. Iwashita %A T. Nukiyama %T The architecture and performance of image pipeline processor %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 275-284 %A R.M. Lea %T SCAPE: a single chip array processing element for image analysis %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 285-294 %A Bjorn Solberg %A Oddvar Sorasen %A Steinar Forsmo %T A very fast packet-switched bus system based on two custom NMOS chips %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 295-304 %A Oddvar Sorasen %A Bjorn Solberg %A Hans-Jorgen Alker %T VLSI-implemented systolic array for vector processing %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 307-316 %A Kazuo Seo %A Masaharu Hirayama %A Akira Fusaoka %T Design and evaluation of parsing chip %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 317-326 %A Timothy W. Curry %A Amar Mukhopadhyay %T Realization of efficient non-numeric operations through VLSI %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 327-336 %A E.B. Eichelberger %A E. Lindbloom %T Trends in VLSI testing %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 339-348 %A Manolis G.H. Katevenis %A Robert W. Sherburne %A David A. Patterson %A Carlo H. Sequin %T The RISC II micro-architecture %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 349-359 %A Robert K. Montoye %A Jacob A. Abraham %T Built-in tests for arbitrarily structured VLSI carry-lookahead adders %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 361-371 %A Fabio Somenzi %A Silvano Gai %A Marco Mezzalama %A Paolo Primetto %T Testable design with PLA macros %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 373-382 %A Howard E. Shrobe %T AI meets CAD %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 387-399 %A Telle Whitney %A Carver Mead %T Pooh: a uniform representation for circuit level designs %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 401-411 %A M.C. Revett %A P.A. Ivey %T ASTRA: a CAD system to support a structured approach to IC design %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 413-422 %A Markku Benfors %A Bjorn Sikstrom %A Lars Wanhammar %T An integrated CAD system for VLSI implementation of digital filters %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 423-432 %A Jean-Pierre Schoellkopf %T LUBRICK: a silicon assembler and its application to data-path design for FISC %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 435-445 %A Kuo-Hsiung Wu %A Alice C. Parker %A Katy Conner %T Procedural layout: some practical experience for production-quality integrated circuits %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 447-456 %A Bryan Ackland %A Neil Weste %T An automatic assembly tool for virtual grid symbolic layout %J Proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration %C Trondheim, Norway %D August 1983 %E F. Anceau %E E.J. Aas %O published as "VLSI 83" by Horth-Holland %K vlsi83 %P 457-466