Search:

Transformations and resynthesis for testability of RT-level control-data path specifications / by Bhattacharya, Subhrajit.; Brglez, Franček.(CARDINAL)269538; Dey, Sujit,1963-(CARDINAL)212423; Microelectronics Center of North Carolina.Center for Microelectronics.;
Includes bibliographical references (pages 28-29).
Subjects: Path analysis; Control theory; Logic design.;
Available copies: 1 / Total copies: 2
On-line resources: Suggest title for digitization;
unAPI

Functionality test and don't care synthesis in FPGA ICs / by Zemva, Andrej.; Brglez, Franček.(CARDINAL)269538; Kozminski, Krzysztof Antoni,1935-(CARDINAL)199172; Microelectronics Center of North Carolina.Center for Microelectronics.;
Includes bibliographical references (page 47).
Subjects: Logic devices; Electronic circuit design;
Available copies: 1 / Total copies: 2
On-line resources: Suggest title for digitization;
unAPI

Partitioning digital circuits for implementation in multiple FPGA ICs / by Kuznar, Roman.; Brglez, Franček.(CARDINAL)269538; Kozminski, Krzysztof Antoni,1935-(CARDINAL)199172; Microelectronics Center of North Carolina.Center for Microelectronics.;
Includes bibliographical references (pages 51-53).
Subjects: Logic devices.; Electronic circuit design.; Computer software.;
Available copies: 1 / Total copies: 2
On-line resources: Suggest title for digitization;
unAPI

Parallel logic simulation of VLSI systems / by Bailey, Mary L.; Briner, Jack V.(Jack Vedder),1961-(CARDINAL)217429; Chamberlain, Roger D.; Microelectronics Center of North Carolina.Center for Microelectronics.;
Includes bibliographical references (pages 32-35).
Subjects: Computer simulation.; Integrated circuits; Logic design.; Parallel processing (Electronic computers);
Available copies: 1 / Total copies: 3
On-line resources: Suggest title for digitization;
unAPI

Variable matching for verification / by Reeves, Douglas S.; Kedem, Gershon.(CARDINAL)216717; Microelectronics Center of North Carolina.Center for Microelectronics.;
Includes bibliographical references (pages 25-26).
Subjects: Verification (Logic); Electronic circuit design; Electronic digital computers;
Available copies: 1 / Total copies: 2
On-line resources: Suggest title for digitization;
unAPI

How to speak machine : computational thinking for the rest of us / by Maeda, John,author.(CARDINAL)341384;
Includes bibliographical references and index."John Maeda is one of the world's preeminent interdisciplinary thinkers on technology and design. In How to Speak Machine, he offers a set of simple laws that govern not only the computers of today, but the unimaginable machines of the future. Technology is already more powerful than we can comprehend, and getting more powerful at an exponential pace. Once set in motion, algorithms never tire. And when a program's size, speed, and tirelessness combine with its ability to learn and transform itself, the outcome can be unpredictable and dangerous. Take the seemingly instant transformation of Microsoft's chatbot Tay into a hate-spewing racist, or how crime-predicting algorithms reinforce racial bias. How to Speak Machine provides a coherent framework for today's product designers, business leaders, and policymakers to grasp this brave new world. Drawing on his wide-ranging experience from engineering to computer science to design, Maeda shows how businesses and individuals can identify opportunities afforded by technology to make world-changing and inclusive products--while avoiding the pitfalls inherent to the medium"-- Provided by publisher.
Subjects: Computer logic; Computer algorithms; Machine theory.; Electronic data processing; Product design.;
Available copies: 3 / Total copies: 4
unAPI

The logician and the engineer : how George Boole and Claude Shannon created the information age / by Nahin, Paul J.(CARDINAL)765163;
Includes bibliographical references and index.George Boole and Claude Shannon : two mini-biographies -- Boolean algebra -- Logical switching circuits -- Boole, Shannon, and probability -- Some combinatorial design logic examples -- Sequential-state digital circuits -- Turing machines -- Beyond Boole and Shannon.
Subjects: Biographies.; Boole, George, 1815-1864.; Shannon, Claude Elwood, 1916-2001.; Logicians; Electrical engineers; Computer logic.; Logic circuits.;
Available copies: 1 / Total copies: 1
unAPI

Computer math / by Fischer, James,1988-(CARDINAL)501711;
Includes bibliographical references and index.Download speeds -- Upload speeds -- Memory space -- Email storage -- Binary code -- Writing in binary -- Computer logic -- Basic programming -- More basic programming -- Website design : pixels -- Website design : colors -- Website design : proportion -- Excel -- More excel -- Putting it all together.900L
Subjects: Computer programming; Computer science; Computers; Web sites;
Available copies: 3 / Total copies: 3
unAPI

Computer architecture : from the stone age to the quantum age / by Fox, Charles(Lecturer in computer science),author.(CARDINAL)889011;
Includes bibliographical references and index.Historical architectures -- Data representation -- Basic CPU-based architecture -- Switches -- Digital logic -- Simple machines -- Digital CPU design -- Advanced CPU design -- Input/Output -- Memory -- Retro architectures -- Embedded architectures -- Desktop architecture -- Smart architectures -- Parallel architectures -- Future architectures."Covers the inner workings of the computer, from the transistor level up to complete CPUs, memory, and beyond, as well as more recent developments, like parallel and quantum architectures. Each chapter includes hands-on exercises and additional resources for exploring topics further"--
Subjects: Computer architecture.;
Available copies: 0 / Total copies: 1
unAPI

Yard and garden makeovers : your guide to creating a beautiful, logical landscape / by Kay, George,1929-(CARDINAL)489211; Kay, Brian,1957-(CARDINAL)489212; Mann, Jennifer Derryberry.(CARDINAL)489213;
Subjects: Gardens; Landscape design.; Landscape architecture.;
Available copies: 1 / Total copies: 1
unAPI