X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (9603) 9603
Conference Proceeding (4801) 4801
Book / eBook (2269) 2269
Magazine Article (1164) 1164
Publication (825) 825
Book Chapter (521) 521
Newspaper Article (403) 403
Web Resource (254) 254
Dissertation (145) 145
Journal / eJournal (124) 124
Paper (90) 90
Standard (45) 45
Government Document (35) 35
Report (35) 35
Trade Publication Article (31) 31
Book Review (20) 20
Technical Report (18) 18
Transcript (8) 8
Newsletter (3) 3
Reference (2) 2
Data Set (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science, hardware & architecture (6072) 6072
hardware (5087) 5087
computer science (5009) 5009
computer science, theory & methods (3413) 3413
engineering, electrical & electronic (3067) 3067
computer science, software engineering (2659) 2659
algorithms (2439) 2439
computers (2031) 2031
hardware design languages (2017) 2017
computer science, general (1880) 1880
engineering (1756) 1756
field programmable gate arrays (1613) 1613
electronic books (1572) 1572
computer hardware (1556) 1556
analysis (1550) 1550
artificial intelligence (1502) 1502
computer simulation (1500) 1500
software (1490) 1490
software engineering (1400) 1400
processor architectures (1382) 1382
programming languages, compilers, interpreters (1286) 1286
computer science, information systems (1281) 1281
design (1198) 1198
computer architecture (1147) 1147
hardware description languages (1134) 1134
electrical engineering (1117) 1117
application software (1056) 1056
data processing (1032) 1032
studies (1003) 1003
programming languages (961) 961
information technology (939) 939
mathematical models (922) 922
logic design (880) 880
general (872) 872
electronics (861) 861
management (859) 859
telecommunications (831) 831
computer programming (808) 808
design engineering (777) 777
fpga (774) 774
usage (773) 773
design and construction (771) 771
microprocessors (767) 767
architecture (747) 747
image processing (739) 739
circuits and systems (714) 714
software engineering/programming and operating systems (713) 713
vhdl (689) 689
research (684) 684
computer graphics (681) 681
computer engineering (678) 678
machine theory (674) 674
computer programs (671) 671
dynamics (668) 668
computer networks (663) 663
mathematics (663) 663
performance (659) 659
optimization (654) 654
computer communication networks (644) 644
computer systems organization and communication networks (639) 639
computer software (635) 635
methods (630) 630
telecommunication (630) 630
theory of computation (630) 630
embedded systems (628) 628
communications engineering, networks (619) 619
database management (618) 618
user interfaces (609) 609
robotics (605) 605
multi-user (603) 603
reference (577) 577
computer literacy (564) 564
programming (552) 552
data structures, cryptology and information theory (534) 534
integrated circuits (532) 532
computation (529) 529
multimedia systems (513) 513
simulation (505) 505
computational modeling (500) 500
computers / hardware / general (497) 497
computers / machine theory (496) 496
computers / computer science (489) 489
computers / data processing (487) 487
computers / information technology (484) 484
computers / reference (483) 483
computers / computer literacy (482) 482
automation (475) 475
information storage and retrieval systems (471) 471
circuits (469) 469
electronic brains (464) 464
computer science, interdisciplinary applications (460) 460
management information systems (457) 457
information systems applications (455) 455
hardware, computer (454) 454
computer network architectures (449) 449
models (446) 446
mathematical analysis (444) 444
parallel processing (440) 440
hardware reviews (437) 437
verification (434) 434
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Engineering & Comp. Sci. - Stacks (361) 361
Online Resources - Online (310) 310
Gerstein Science - Stacks (183) 183
UTL at Downsview - May be requested (163) 163
Collection Dvlpm't (Acquisitions) - Vendor file (80) 80
UofT at Mississauga - Stacks (66) 66
Collection Dvlpm't (Acquisitions) - Closed Orders (57) 57
UofT at Scarborough - Stacks (48) 48
Robarts - Stacks (44) 44
Faculty of Information - Stacks (21) 21
OISE - Stacks (20) 20
Engineering & Comp. Sci. - Periodical Stacks (19) 19
Engineering & Comp. Sci. - May be requested in 6-10 wks (12) 12
Engineering & Comp. Sci. - Missing (11) 11
Trinity College (John W Graham) - Stacks (11) 11
Mathematical Sciences - Stacks (9) 9
Faculty of Information - May be requested in 6-10 wks (8) 8
St. Michael's College (John M. Kelly) - 2nd Floor (8) 8
UofT at Mississauga - May be requested in 6-10 wks (8) 8
Law (Bora Laskin) - Stacks (7) 7
Astronomy & Astrophysics - Ask at library (6) 6
Victoria University E.J. Pratt - Stacks (6) 6
Physics - Stacks (4) 4
Trinity College (John W Graham) - Reference (4) 4
Aerospace - Stacks (3) 3
Architecture Landscape (Shore + Moffat) - Stacks (3) 3
Scarborough Hospital - General (3) 3
St. Michael's College (John M. Kelly) - 3rd Floor (3) 3
Trinity College (John W Graham) - Periodical Stacks (3) 3
UofT at Mississauga - Periodical Stacks (3) 3
UofT at Scarborough - Withdrawn (3) 3
Credit Valley Hospital - Stacks (2) 2
Engineering & Comp. Sci. - Not Returned (2) 2
Engineering & Comp. Sci. - Reference (2) 2
Gerstein Science - Bindery (2) 2
Gerstein Science - Circulation Desk (2) 2
Gerstein Science - Periodical Stacks (2) 2
Holland Bloorview Kids Rehabilitation - Periodical Stacks (2) 2
Map & Data - Data & GIS (2) 2
OISE - Missing (2) 2
Physics - Storage (2) 2
Robarts - Storage (2) 2
Scarborough Hospital - Birchmount (2) 2
Thomas Fisher Rare Book - Rare Book (2) 2
Trinity College (John W Graham) - Storage (2) 2
UofT Schools - Stacks (2) 2
Art - Library use only (1) 1
Baycrest Hospital - Stacks (1) 1
Business (Joseph L Rotman) - Stacks (1) 1
Closed Orders (1) 1
Collection Dvlpm't (Acquisitions) - Pathology (1) 1
Engineering & Comp. Sci. - Special Collections (1) 1
Engineering & Comp. Sci. - Withdrawn (1) 1
Faculty of Information - Periodical Stacks (1) 1
Holland Bloorview Kids Rehabilitation - Stacks (1) 1
Innis College - Stacks (1) 1
Knox College (Caven) - Stacks (1) 1
Law (Bora Laskin) - Withdrawn (1) 1
Mathematical Sciences - Periodical Stacks (1) 1
Media Commons - Storage (1) 1
Music - Stacks (1) 1
OISE - Curriculum Resources (1) 1
OISE - May be requested in 6-10 wks (1) 1
OISE - Periodical Stacks (1) 1
Providence Healthcare - Stacks (1) 1
Regis College - Stacks (1) 1
Royal Ontario Museum - Stacks (1) 1
St. Michael's Hospital - Stacks (1) 1
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (1) 1
University Archives - Archives (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT at Mississauga - Missing (1) 1
UofT at Mississauga - Reference (1) 1
UofT at Scarborough - Periodical Stacks (1) 1
Victoria University E.J. Pratt - Reference (1) 1
West Park Healthcare Centre - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (18363) 18363
Chinese (163) 163
Japanese (124) 124
German (122) 122
Spanish (96) 96
Portuguese (23) 23
French (17) 17
Czech (12) 12
Russian (12) 12
Arabic (10) 10
Korean (4) 4
Finnish (3) 3
Turkish (3) 3
Croatian (2) 2
Dutch (2) 2
Indonesian (2) 2
Latin (2) 2
Lithuanian (2) 2
Polish (2) 2
Italian (1) 1
Slovak (1) 1
Swedish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2006, ISBN 0471720925, 669
The skills and guidance needed to master RTL hardware design This book teaches readers how to systematically design efficient, portable, and scalable Register... 
Digital electronics | Data processing | VHDL (Computer hardware description language) | Components, Circuits, Devices and Systems | Electronics | Logic | Technology | Circuits | Electrical Engineering
eBook
2000, IEEE Press series on microelectronic systems, ISBN 9780780347441, xxiii, 241
Book
2002, 5th ed., ISBN 1402070896, 404
Verilog - A Tutorial Introduction.- Logic Synthesis.- Behavioral Modeling.- Concurrent Processes.- Module Hierarchy.- Logic Level Modeling.- Cycle-Accurate... 
Verilog (Computer hardware description language)
eBook
10/2010, 3rd ed., Morgan Kaufmann series in systems on silicon, ISBN 9780120887859, 936
VHDL, the IEEE standard hardware description language for describing digital electronic systems, has recently been revised. This book has become a standard in... 
General Theory of Computing | VHDL (Computer hardware description language) | COMPUTERS / Computer Science | Electronic digital computers
eBook
1987, ISBN 9780444878977, Volume 7., x, 495
Book
Philosophical Transactions: Mathematical, Physical and Engineering Sciences, ISSN 1364-503X, 11/2012, Volume 370, Issue 1979, pp. 5270 - 5290
Journal Article
The Journal of Systems & Software, ISSN 0164-1212, 2010, Volume 83, Issue 2, pp. 235 - 252
In the state-of-the-art hardware/software (HW/SW) co-design of embedded systems, there is a lack of sufficient support for architectural specifications across... 
Components | Architectural patterns | Platform | Verification reuse | Co-synthesis | Hardware/software co-design | Co-verification | Co-simulation | Embedded architecture description language | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Embedded architecture description | language | COMPUTER SCIENCE, THEORY & METHODS | Arms control | Analysis | Verification
Journal Article
1999, 2nd ed., ISBN 9780792384748, xviii, 453
Preface. 1.0. VHDL Overview and Concepts. 2.0. Basic Language Elements. 3.0. Control Structures. 4.0. Drivers. 5.0. VHDL Timing. 6.0. Elements of... 
VHDL (Computer hardware description language) | Computer hardware description languages | Computer hardware | Systems engineering | Computer-Aided Engineering (CAD, CAE) and Design | Computer engineering | Circuits and Systems | Computer aided design | Electrical Engineering
Book
Design Automation for Embedded Systems, ISSN 0929-5585, 12/2019, Volume 23, Issue 3, pp. 123 - 151
In order to define executable hardware description language while at the same time be fit for formal proofs of properties, a hardware description language... 
Engineering | Hardware description languages | VeriFormal | Isabelle/HOL | Special Purpose and Application-Based Systems | Computer-Aided Engineering (CAD, CAE) and Design | Circuits and Systems | Domain-specific languages | Formal verification
Journal Article
Information Systems, ISSN 0306-4379, 03/2017, Volume 64, pp. 447 - 460
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.