#
Logic Design
Resource Information
The concept ** Logic Design** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Logic Design
Resource Information

The concept

**Logic Design**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Logic Design

- Authority link
- (uri) http://id.loc.gov/authorities/subjects/sh85078117

## Context

Context of Logic Design#### Subject of

- ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodologies
- Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
- Adapting Proofs-as-Programs : The Curry-Howard Protocol
- Advanced Computer Architecture : 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
- Advances in Computer Systems Architecture : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings
- Advances in Power Electronics and Instrumentation Engineering : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
- Applications of Evolutionary Computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
- Applications of Evolutionary Computation : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
- Architecture of Computing Systems – ARCS 2018 : 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
- Artificial Intelligence and Soft Computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I
- Artificial Intelligence and Soft Computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II
- Artificial Neural Networks and Machine Learning – ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I
- Artificial Neural Networks and Machine Learning – ICANN 2017 : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II
- Automata Implementation : 4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers
- Beyond Two: Theory and Applications of Multiple-Valued Logic
- Bioinformatics Research and Applications : 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings
- Brain-Inspired Computing : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers
- Building Arduino PLCs : The essential techniques you need to develop Arduino-based PLCs
- Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II
- Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III
- Computational Science – ICCS 2018 : 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I
- Computer Aided Verification : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings
- Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings
- Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings
- Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
- Computer Performance Evaluation and Benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
- Cryptographic Hardware and Embedded Systems - CHES 2004 : 6th International Workshop Cambridge, MA, USA, August 11-13, 2004. Proceedings
- Cryptographic Hardware and Embedded Systems - CHES 2006 : 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings
- Cryptographic Hardware and Embedded Systems – CHES 2005 : 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
- Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support : Third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings
- Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
- Dependable Computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings
- Design of FPGA-Based Computing Systems with OpenCL
- Design, Analysis and Test of Logic Circuits Under Uncertainty
- Digital Logic Design Using Verilog : Coding and RTL Synthesis
- Embedded Processor Design Challenges : Systems, Architectures, Modeling, and Simulation — SAMOS
- Embedded Systems Technology : 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers
- Euro-Par 2017: Parallel Processing Workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
- Evolvable Systems: From Biology to Hardware : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings
- Exploitation of Fine-Grain Parallelism
- FM8501: A Verified Microprocessor
- Field Programmable Logic and Application : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings
- Field Programmable Logic and Application : 14th International Conference, FPL 2004, Leuven, Belgium, August 30-September 1, 2004. Proceedings
- Field Programmable Logic and Applications : 9th International Workshop, FPL’99, Glasgow, UK, August 30 - September 1, 1999. Proceedings
- Field-Programmable Logic and Applications : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings
- Field-Programmable Logic and Applications From FPGAs to Computing Paradigm : 8th International Workshop, FPL '98 Tallinn, Estonia, August 31–September 3, 1998 Proceedings
- Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream : 12th International Conference, FPL 2002 Montpellier, France, September 2–4, 2002 Proceedings
- From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
- Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz
- Fundamentals of Electronic Systems Design
- Graph-Theoretic Concepts in Computer Science : 16th International Workshop WG '90 Berlin, Germany, June 20–22, 1990 Proceedings
- Hardware Specification, Verification and Synthesis: Mathematical Aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings
- Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers
- High Performance Computing : 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
- High Performance Computing : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
- High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
- High Performance Embedded Architectures and Compilers : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings
- High Performance Embedded Architectures and Compilers : Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings
- High Performance Integer Arithmetic Circuit Design on FPGA : Architecture, Implementation and Design Automation
- Integrated Circuit Design : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings
- Introduction to Logic Circuits & Logic Design with VHDL
- Introduction to Logic Circuits & Logic Design with Verilog
- Introduzione al Progetto di Sistemi Digitali
- Job Scheduling Strategies for Parallel Processing : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
- Job Scheduling Strategies for Parallel Processing : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
- Job Scheduling Strategies for Parallel Processing : 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
- Job Scheduling Strategies for Parallel Processing : 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers
- Job Scheduling Strategies for Parallel Processing : 7th International Workshop, JSSPP 2001 Cambridge, MA, USA, June 16, 2001 Revised Papers
- Job Scheduling Strategies for Parallel Processing : IPPS '97 Processing Workshop Geneva, Switzerland, April 5, 1997 Proceedings
- Johan van Benthem on Logic and Information Dynamics
- Machine Learning for Medical Image Reconstruction : First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings
- Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
- Memory Management : International Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings
- Microcomputer System Design : An Advanced Course Trinity College Dublin, June 1981
- Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
- New Data Structures and Algorithms for Logic Synthesis and Verification
- OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
- Parallel Computational Technologies : 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
- Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
- Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
- Post-Quantum Cryptography : 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings
- Reliable and Energy Efficient Streaming Multiprocessor Systems
- Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
- Reversible Logic Synthesis Methodologies with Application to Quantum Computing
- STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings
- Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings
- Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
- Semantics of Digital Circuits
- Separation Logic for High-level Synthesis
- Simulation and Optimization of Digital Circuits : Considering and Mitigating Destabilizing Factors
- Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
- Testing of Interposer-Based 2.5D Integrated Circuits
- The Complexity of Simple Computer Architectures
- Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
- Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
- Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings
- Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
- Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
- Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
- Topics in Cryptology – CT-RSA 2018 : The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings
- Transactions on Computational Science XXIV : Special Issue on Reversible Computing
- Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/Xzlb6Z-1AZY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/Xzlb6Z-1AZY/">Logic Design</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Logic Design

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/Xzlb6Z-1AZY/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/Xzlb6Z-1AZY/">Logic Design</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`