- Email: [email protected]
Logic Testing and Design for testability
Books received for review Logic Testing and Design for Testability, Hldeo Fu]iwara, MIT Press (1985) Design for testability techniques are considered by this book, as the means of alleviating the problems of the difficulties associated with the testing of complex VLSl circuits. The first half of the book focuses on test generation, fault simulation and complexity of testing. The second half takes up design techniques to minimize the cost of test application and/or test generation, scan design for sequential logic circuits compact testing, built-in testing, and various design techniques for testable systems.
Eurographics 85 Proceedings of the European Graphics Conference and Exhibition, Nice, France, 9-13 September 1985, Carlo E Vandoni (ed) Eurographics 85 is the sixth in a .series of international conferences organized each year by the European Association for Computer Graphics. This volume includes 39 submitted papers and the abstracts of the invited papers. Topics covered by the conference include advanced image synthesis, standards, user interface, computational geometry and applications. Other subjects covered are ray tracing, animation graphics standards and modelling. There are 16 pages of ¢olour illustrations, but no subject index.
MRP 1.1:Making it Happen, Thomas F Wallace, Oliver Wight Lira/ted Publications Inc (1985) The subtitle to this book is 'The Implementer's Guide to Success with Manufacturing Resource Planning'. It discussesthe implementation of MRP II in terms of improved productivity. It outlines steps that can be taken to achieve favourable results using MRP I!. Topics covered include cost justification, project organization, education, data and policies, software and systems. There is a 6 page index and a 13 page glossary of MRP II terms.
volume 18 number 5 june 1986
Robotics and artificial intelligence, (ads) M Brady, L A Gerhardt and H F Davidson, Springer Verlag (I 984) 693 pp This is a member of the NATO Advanced Science Institutes series, which presents the results of activities sponsored by the NATO Science Committee. It comprises the Proceedings of the NATO Advanced Study Institute on Robotics and Artificial Intelligence, held in Italy in June 1983. The topics covered range from introductow material through tutorials in different technical specialities to specific developments in hierarchical control for robotics. In particular, subject areas such as pattern recognition, CAD, object representation and solid modelling, systems control and the use of AI and robotics in medicine a.re all covered. The applications of industrial robots are also discussed.
POP-I I crprttcticd language for artificial intelligence, R Barrett, A Ramsay and A S/omen, Ellis Horwood, Chichester, UK (1985) 232 pp This book aims to teach a computer programmer Pop-11 from its basic features up to its more sophisticated aspects. Pop-11 is likened in power to Lisp, by the authors, who also consider it to be more user friendly. There are examples and exercises throughout the text. All the program output used in the text was actually produced by computer programs. The book is aimed at industrial and academic computer scientists interested in artificial intelligence and users of the Poplog system. Topics covered include the semantics and syntax of Pop-11, procedures and control facilities, matching, database, recursion and lists. All these areas are looked at insofar as Pop-11 deals with them.
CADCAM Dictionary, E J Preston, G W Crawford and M E Coticchia, Marcel Oekker Inc, New York (1985) Definitions of 4000 CADCAM terms are offered by this reference book.
These terms include vendor specific ones as well as generalized ones. The entries are not subdivied in any way, but are listed alphabetically. Several engineering disciplines are covered by the book including mechanical engineering, electrical engineering and architecture. Acronyms are spelt out and their meanings given. According to the publisher, this text would be of use to engineers, draftsmen and designers at CADCAM and CAE workstations, as a reference source.
Mathematics and CA D Vol I Numerical Methods for CAD, Yvon Garden, Kogan Page, London (1985) Written originally by French researchers and then translated from the French edition, this volume gives an outline of the basic mathematical concepts used in the interactive graphic techniques of a CAD system. It deals with graphics, 2D an'd 3D operations and considers mathematical modelling in relation to geometric modelling. Curves, surfaces, numerical methods of solving equations and finite element modelling are all examined. This volume includes a 3 page index and a bibliography. It is apparently primarily intended for engineers and computer scientists and as background material for CAD specialists.
Trace Theory and VLSI Design, Jan L A van de 5nepscheut, SpringerVerlag (1985) This book forms the 200th volume in the Lecture Notes in Computer Science series that is edited by G Goos and J Hartmanis. It has been prepared from handwritten camera copy throughout its entirety, which gives it an unusual appearance. It constitutes the PhD thesis of the author. Its five sections examine trace theory, program notation, finite state machines, VLSl design and an implementation strategy. The mathematical proofs that are included take the form of annotated formal calculations using the techniques of W H J Feijen. There is a 3 page subject index.
289
Eurographics 85 Proceedings of the European Graphics Conference and Exhibition, Nice, France, 9-13 September 1985, Carlo E Vandoni (ed) Eurographics 85 is the sixth in a .series of international conferences organized each year by the European Association for Computer Graphics. This volume includes 39 submitted papers and the abstracts of the invited papers. Topics covered by the conference include advanced image synthesis, standards, user interface, computational geometry and applications. Other subjects covered are ray tracing, animation graphics standards and modelling. There are 16 pages of ¢olour illustrations, but no subject index.
MRP 1.1:Making it Happen, Thomas F Wallace, Oliver Wight Lira/ted Publications Inc (1985) The subtitle to this book is 'The Implementer's Guide to Success with Manufacturing Resource Planning'. It discussesthe implementation of MRP II in terms of improved productivity. It outlines steps that can be taken to achieve favourable results using MRP I!. Topics covered include cost justification, project organization, education, data and policies, software and systems. There is a 6 page index and a 13 page glossary of MRP II terms.
volume 18 number 5 june 1986
Robotics and artificial intelligence, (ads) M Brady, L A Gerhardt and H F Davidson, Springer Verlag (I 984) 693 pp This is a member of the NATO Advanced Science Institutes series, which presents the results of activities sponsored by the NATO Science Committee. It comprises the Proceedings of the NATO Advanced Study Institute on Robotics and Artificial Intelligence, held in Italy in June 1983. The topics covered range from introductow material through tutorials in different technical specialities to specific developments in hierarchical control for robotics. In particular, subject areas such as pattern recognition, CAD, object representation and solid modelling, systems control and the use of AI and robotics in medicine a.re all covered. The applications of industrial robots are also discussed.
POP-I I crprttcticd language for artificial intelligence, R Barrett, A Ramsay and A S/omen, Ellis Horwood, Chichester, UK (1985) 232 pp This book aims to teach a computer programmer Pop-11 from its basic features up to its more sophisticated aspects. Pop-11 is likened in power to Lisp, by the authors, who also consider it to be more user friendly. There are examples and exercises throughout the text. All the program output used in the text was actually produced by computer programs. The book is aimed at industrial and academic computer scientists interested in artificial intelligence and users of the Poplog system. Topics covered include the semantics and syntax of Pop-11, procedures and control facilities, matching, database, recursion and lists. All these areas are looked at insofar as Pop-11 deals with them.
CADCAM Dictionary, E J Preston, G W Crawford and M E Coticchia, Marcel Oekker Inc, New York (1985) Definitions of 4000 CADCAM terms are offered by this reference book.
These terms include vendor specific ones as well as generalized ones. The entries are not subdivied in any way, but are listed alphabetically. Several engineering disciplines are covered by the book including mechanical engineering, electrical engineering and architecture. Acronyms are spelt out and their meanings given. According to the publisher, this text would be of use to engineers, draftsmen and designers at CADCAM and CAE workstations, as a reference source.
Mathematics and CA D Vol I Numerical Methods for CAD, Yvon Garden, Kogan Page, London (1985) Written originally by French researchers and then translated from the French edition, this volume gives an outline of the basic mathematical concepts used in the interactive graphic techniques of a CAD system. It deals with graphics, 2D an'd 3D operations and considers mathematical modelling in relation to geometric modelling. Curves, surfaces, numerical methods of solving equations and finite element modelling are all examined. This volume includes a 3 page index and a bibliography. It is apparently primarily intended for engineers and computer scientists and as background material for CAD specialists.
Trace Theory and VLSI Design, Jan L A van de 5nepscheut, SpringerVerlag (1985) This book forms the 200th volume in the Lecture Notes in Computer Science series that is edited by G Goos and J Hartmanis. It has been prepared from handwritten camera copy throughout its entirety, which gives it an unusual appearance. It constitutes the PhD thesis of the author. Its five sections examine trace theory, program notation, finite state machines, VLSl design and an implementation strategy. The mathematical proofs that are included take the form of annotated formal calculations using the techniques of W H J Feijen. There is a 3 page subject index.
289