The Practical, Start-to-Finish Guide to Modern Digital Design Verification
As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success, yet many practicing engineers have had little formal training in verification, and little exposure to the newest solutions. Hardware Design Verification systematically presents today’s most valuable simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each project, quickly gain confidence in their designs, and move into fabrication far more rapidly. College students will find that coverage of verification principles and common industry practices will help them prepare for jobs as future verification engineers.
Author William K. Lam, one of the world’s leading experts in design verification, is a recent winner of the Chairman’s Award for Innovation, Sun Microsystems’ most prestigious technical achievement award. Drawing on his wide-ranging experience, he introduces the foundational principles of verification, presents traditional techniques that have survived the test of time, and introduces emerging techniques for today’s most challenging designs. Throughout, Lam emphasizes practical examples rather than mathematical proofs; wherever advanced math is essential, he explains it clearly and accessibly.
Coverage includes
- Simulation-based versus formal verification: advantages, disadvantages, and tradeoffs
- Coding for verification: functional and timing correctness, syntactical and structure checks, simulation performance, and more
- Simulator architectures and operations, including event-driven, cycle-based, hybrid, and hardware-based simulators
- Testbench organization, design, and tools: creating a fast, efficient test environment
- Test scenarios and assertion: planning, test cases, test generators, commercial and Verilog assertions, and more
- Ensuring complete coverage, including code, parameters, functions, items, and cross-coverage
- The verification cycle: failure capture, scope reduction, bug tracking, simulation data dumping, isolation of underlying causes, revision control, regression, release mechanisms, and tape-out criteria
- An accessible introduction to the mathematics and algorithms of formal verification, from Boolean functions to state-machine equivalence and graph algorithms
- Decision diagrams, equivalence checking, and symbolic simulation
- Model checking and symbolic computation
Simply put, Hardware Design Verification will help you improve and accelerate your entire verification process–from planning through tape-out–so you can get to market faster with higher quality designs.
Categories
- Accounting (1094)
- General Accounting (714)
- International Accounting (403)
- Agriculture (1159)
- Agronomy (82)
- Bacteriology (77)
- Crop Science (86)
- Food Science (574)
- Horticulture (106)
- Soil Science (76)
- Sustainable Agriculture (22)
- Architecture (559)
- Astronomy & Space (1964)
- Aeronautics & Astronautics (370)
- Astronomy (1242)
- Astrophysics & Space Science (1008)
- Comets, Meteors & Asteroids (74)
- Cosmology (453)
- Mars (21)
- Solar System (76)
- Star-Gazing (137)
- Biographies & Memoirs (921)
- African-American & Black (31)
- Authors (57)
- Composers & Musicians (29)
- Educators (11)
- Entertainers (44)
- Irish (68)
- Jewish (22)
- Memoirs (84)
- Philosophers (43)
- Political (69)
- Presidents & Heads of State (32)
- Reference & Collections (35)
- Religious (51)
- Scientists (170)
- Social Scientists & Psychologists (20)
- Women (45)
- Biology & Life Sciences (4908)
- Anatomy & Physiology (345)
- Animals (406)
- Butterflies (14)
- Fish & Sharks (86)
- Fossils (30)
- Insects & Spiders (33)
- Mammals (133)
- Reptiles & Amphibians (33)
- Wildlife (70)
- Bioinformatics (484)
- Biology (3167)
- Cell Biology (970)
- Developmental Biology (207)
- Entomology (139)
- Molecular Biology (1441)
- Biophysics (363)
- Botany (431)
- Ecology (543)
- Paleontology (56)
- Paleozoology (10)
- Vertebrate (17)
- Plants (131)
- Flowers (88)
- Zoology (530)
- Animal Behavior & Communication (24)
- Ichthyology (30)
- Invertebrates (55)
- Ornithology (42)
- Primatology (22)
- Books For Teens (429)
- Health, Mind & Body (26)
- Drug & Alcohol Abuse (26)
- Literature & Fiction (23)
- Science & Technology (124)
- Computers (37)
- Earth Science (87)
- Health, Mind & Body (26)
- Business (6468)
- Business Communication (72)
- Business Development (228)
- Human Resources (154)
- International Business (266)
- Investments & Securities (340)
- Management & Leadership (3096)
- Consolidation & Merger (38)
- Decision-Making & Problem Solving (190)
- Industrial (117)
- Leadership (436)
- Management (594)
- Management Science (1620)
- Motivational (314)
- Negotiating (46)
- Operations Research (405)
- Planning & Forecasting (49)
- Pricing (42)
- Production & Operations (238)
- Quality Control (171)
- Strategy & Competition (49)
- Systems & Planning (323)
- Teams (23)
- Total Quality Management (97)
- Training (85)
- Marketing & Sales (485)
- Advertising (179)
- Consumer Behavior (81)
- Marketing (77)
- Direct (13)
- Global (26)
- Multilevel (14)
- Product Management (27)
- Public Relations (65)
- Organizational Behavior (123)
- Organizational Change (49)
- Workplace (60)
- Real Estate (132)
- Buying & Selling Homes (19)
- Investments (54)
- Mortgages (17)
- Sales (19)
- Careers & Job Hunting (2525)
- Guides (384)
- Industries & Professions (2000)
- Banks & Banking (187)
- Consulting (48)
- Customer Service (86)
- E-commerce (45)
- High-Tech (50)
- Hospitality, Travel & Tourism (71)
- Human Resources & Personnel Management (444)
- Industrial Relations (48)
- Insurance & Risk Management (54)
- MIS (590)
- Nonprofit Organizations & Charities (62)
- Oil & Energy (80)
- Purchasing & Buying (52)
- Retailing (65)
- Sports & Entertainment (67)
- Transportation (64)
- Interviewing (48)
- Job Hunting (179)
- Job Markets & Advice (16)
- Resumes (74)
- Vocational Guidance (117)
- Chemistry (2990)
- Analytic (798)
- Chromatography (70)
- Crystallography (229)
- Industrial & Technical (917)
- Inorganic (398)
- Molecular Chemistry (34)
- Nuclear Chemistry (78)
- Organic (170)
- Organometallic Compounds (99)
- Reactions (14)
- Synthesis (62)
- Physical & Theoretical (1033)
- Electrochemistry (137)
- Physical Chemistry (767)
- Quantum Chemistry (152)
- Polymers & Macromolecules (107)
- Safety (29)
- Children's Books (780)
- Ages 4-8 (31)
- Arts & Music (67)
- History & Historical Fiction (101)
- Military & Wars (41)
- People & Places (275)
- Biographies (97)
- Science & Technology (97)
- Careers (24)
- Explore the World (58)
- Biographies (97)
- Reference & Nonfiction (116)
- Law & Crime (19)
- Science Fiction, Fantasy & Horror (28)
- Science, Nature & How It Works (178)
- Astronomy & Space (18)
- Aeronautics & Space (18)
- Environment & Ecology (32)
- Health (17)
- Nature (41)
- Astronomy & Space (18)
- Sports & Activities (49)
- Activity Books (15)
- Coloring Books (15)
- Activity Books (15)
- Computer Science (11855)
- Algorithms (250)
- Artificial Intelligence (2144)
- Artificial Life (117)
- Cognitive Simulation (24)
- Computer Mathematics (189)
- Computer Vision (41)
- Cybernetics (7)
- Heuristic & Constrained Search (54)
- Machine Learning (266)
- Neural Networks (329)
- Robotics (414)
- Theory of Computing (862)
- Database Storage & Design (655)
- Graphics & Visualization (789)
- Human-Computer Interaction (15)
- Information Theory (442)
- Modeling & Simulation (507)
- Networking (3159)
- Intranets & Extranets (189)
- Network Administration (309)
- Network Programming (60)
- Network Security (939)
- Telephony (135)
- Wireless Networks (500)
- Object-Oriented Software Design (259)
- Operating Systems (1653)
- BSD (20)
- MacOS (257)
- Solaris (38)
- Unix (131)
- Windows OS (852)
- Programming Languages (2238)
- Software Design & Engineering (1384)
- Systems Analysis & Design (633)
- Computers & Internet (15584)
- Apple (166)
- Cocoa (20)
- Mac Administration (17)
- Mac OS X (81)
- Databases (679)
- Beginning & Introductory (23)
- Data Mining (114)
- Data Warehousing (11)
- Database Design (149)
- Database Management Systems (18)
- MySQL & mSQL (27)
- Relational Databases (193)
- Graphic Design (1032)
- 3D Graphics (349)
- Adobe InDesign (15)
- CAD (361)
- Information Visualization (11)
- Printing (53)
- Rendering & Ray Tracing (24)
- Hardware (1648)
- Design & Architecture (501)
- Handheld & Mobile Devices (155)
- Internet & Networking (190)
- Macs (125)
- Maintenance, Repair & Upgrading (54)
- Microprocessors & System Design (359)
- Embedded Systems (221)
- Microprocessor Design (86)
- PIC Microcontroller (28)
- Parallel Processing Computers (139)
- PCs (420)
- Home Computing (820)
- Games & Strategy Guides (148)
- Internet Games (18)
- Video Games (99)
- Introductory (401)
- Games & Strategy Guides (148)
- IT Business & IT Culture (2164)
- Biographies (97)
- Blogging & Blogs (58)
- Culture (321)
- Digital Law (50)
- eBay (47)
- Future of Computing (20)
- Hacking (272)
- Manager's Guides to Computing (838)
- Privacy (701)
- Technical Support (40)
- Web Marketing (83)
- IT Certification Central (1596)
- A+ (34)
- CCIE (36)
- CCNA (45)
- CCNP (26)
- CCSP (17)
- Cisco (299)
- CISSP (17)
- Exchange Server (20)
- Java (51)
- Linux (21)
- MCSE (165)
- Microsoft Press (93)
- MS SQL Server (38)
- Network+ (19)
- Oracle (169)
- Osborne-McGraw-Hill (107)
- PMP (18)
- Security+ (624)
- Sun Professional Certifications (17)
- Sybex (176)
- Microsoft (1145)
- Applications (261)
- Excel (139)
- Office 2000 (13)
- Outlook (41)
- PowerPoint (24)
- Word (37)
- Development (737)
- .NET (236)
- C & C++ Windows Programming (265)
- SQL Server (165)
- VBA (78)
- Scheduling & E-mail (85)
- Spreadsheets (14)
- Web Publishing (14)
- Word Processing (119)
- Applications (261)
- Mobile & Wireless Computing (166)
- Programming (7039)
- Algorithms (658)
- Cryptography (351)
- Data Structures (39)
- Digital Image Processing (117)
- Genetic (127)
- Memory Management (25)
- C (98)
- Cross-platform Development (11)
- Functional (20)
- Game Programming (394)
- Graphics & Multimedia (324)
- Languages & Tools (2743)
- Ajax (100)
- Assembly Language Programming (35)
- Borland Delphi (26)
- C# (357)
- Compiler Design (75)
- Compilers (137)
- CSS (78)
- Lisp (21)
- Python (90)
- Visual Basic (317)
- XHTML (54)
- XML (226)
- Software Design, Testing & Engineering (4205)
- Coding Theory (30)
- Object-Oriented Design (984)
- Software Development (3352)
- Software Reuse (15)
- Testing (365)
- UML (175)
- Algorithms (658)
- Project Management (364)
- Security & Encryption (1052)
- Software Engineering (1318)
- Design Tools & Techniques (224)
- Information Systems (642)
- Methodology (367)
- Multimedia Information Systems (130)
- Web Development (1748)
- Content Management (14)
- Web 2.0 (35)
- Web Design (331)
- Dreamweaver (67)
- Flash (138)
- Web Services (911)
- Website Architecture & Usability (457)
- Apple (166)
- Cooking & Food (568)
- Baking (58)
- Canning & Preserving (45)
- Diets & Healthy Food (68)
- Drinks & Beverages & Winemaking (102)
- Gastronomy (54)
- Earth Sciences (3022)
- Cartography (37)
- Earthquakes & Volcanoes (34)
- Environmental Science (1504)
- Geochemistry (84)
- Geography (340)
- Regional (243)
- Geology (256)
- Volcanology (47)
- Geophysics (443)
- Natural Disasters (29)
- Rivers (411)
- Seismology (100)
- Economics (628)
- Economic Theory (180)
- Macroeconomics (158)
- Education (679)
- Administration (26)
- Counseling (72)
- Curriculum & Instruction (28)
- Educational Philosophy (31)
- Elementary Education (40)
- Secondary Education (16)
- Special Education (21)
- Engineering (6949)
- Aeronautical Engineering (217)
- Chemical Engineering (1040)
- Civil Engineering (554)
- Electrical & Electronic Engineering (1460)
- Environmental Engineering (456)
- Industrial Engineering (461)
- Mechanical Engineering (1241)
- Nuclear Engineering (33)
- Entrepreneurship (1728)
- Biography & History & Company Profiles (159)
- Business Life (202)
- Business Ethics (126)
- Etiquette (15)
- Health & Stress (10)
- Motivation & Self-Improvement (24)
- Home Based (23)
- Legal Guides (14)
- Marketing (123)
- New Business Enterprises (90)
- Raising Capital (26)
- Skills (498)
- Business Writing (24)
- Communications (353)
- Office Automation (11)
- Running Meetings & Presentations (56)
- Secretarial Aids & Training (13)
- Time Management (31)
- Evolution (302)
- Organic (188)
- Finance (1093)
- Corporate Finance (238)
- Foreign Exchange (87)
- For Dummies (237)
- Format (99873)
- 7z (8)
- avi (3)
- bu (1)
- cbz (1)
- chm (4884)
- diz (70)
- djv (18)
- djvu (20534)
- doc (117)
- docx (3)
- dvi.gz (4)
- epub (5)
- exe (5)
- facto (1)
- fb2 (1)
- gz (68)
- hlp (2)
- htm (3)
- html (1)
- html.gz (1)
- iso (24)
- jpg (14)
- lit (25)
- mdi (1)
- mht (2)
- mp3 (6)
- nrg (4)
- p (1)
- pd (1)
- pdb (111)
- pdf (79498)
- pdf.gz (8)
- ppt (2)
- ps (17)
- ps.gz (41)
- rar (2065)
- rtf (24)
- sfv (1)
- tar (4)
- tar.gz (1)
- tex.gz (1)
- tgz (2)
- txt (69)
- wmv (2)
- zi (1)
- zip (283)
- Health, Mind & Body (2645)
- Death & Grief (28)
- Diets & Weight Loss (100)
- Disorders & Diseases (407)
- Allergies (32)
- Cancer (77)
- Epilepsy (24)
- Heart Disease (16)
- Multiple Sclerosis (30)
- Musculoskeletal Diseases (21)
- Nervous System (28)
- Osteoporosis (17)
- Pain Management (35)
- Sleep Disorders (19)
- Strokes (21)
- Health Reference (49)
- Mental Health (318)
- Abuse & Self Defense (20)
- Anxiety Disorders (31)
- Compulsive Behavior (60)
- Depression (42)
- Emotions (98)
- Manic Depression (13)
- Mood Disorders (19)
- Personality Disorders (29)
- Post-traumatic Stress Disorder (25)
- Schizophrenia (18)
- Personal Health (184)
- Children's Health (30)
- Healthy Living (81)
- Women's Health (44)
- Recovery & Rehab (116)
- Self-Help (612)
- Creativity (30)
- Dreams (13)
- Eating Disorders (22)
- Happiness (40)
- Memory Improvement (28)
- New Age (75)
- Personal Transformation (193)
- Self-Esteem (33)
- Spiritual (29)
- Stress Management (29)
- Success (171)
- History (6562)
- Africa (21)
- Angola (2)
- Nigeria (1)
- South Africa (19)
- Americas (167)
- Caribbean & West Indies (21)
- Mexico (37)
- South America (49)
- Ancient (990)
- Africa (125)
- Assyria, Babylonia & Sumer (28)
- China (33)
- Early Civilization (85)
- Egypt (101)
- Greece (198)
- Mayan (22)
- Rome (247)
- Asia (509)
- Afghanistan (18)
- Central Asia (23)
- Indonesia (11)
- Japan (107)
- Southeast Asia (50)
- Tibet (17)
- Turkey (63)
- Australia & Oceania (45)
- Europe (1540)
- Historical Study (574)
- Civilization & Culture (27)
- Essays (14)
- Historiography (87)
- History of Ideas (233)
- Revolutionary (35)
- Social History (183)
- Latin America (67)
- Middle East (313)
- Military (2576)
- Aviation (491)
- Canada (41)
- Intelligence & Espionage (28)
- Iraq War (35)
- Life & Institutions (117)
- Napoleonic Wars (71)
- Naval (173)
- Pictorials (45)
- Regiments (47)
- Strategy (142)
- Uniforms (50)
- United States (864)
- Vietnam War (60)
- Weapons & Warfare (134)
- World War I (168)
- Military Science (1269)
- Russia (233)
- World (796)
- Africa (21)
- Home & Garden (1149)
- Animal Care & Pets (59)
- Fish & Aquariums (25)
- Antiques & Collectibles (55)
- Bottles (9)
- Coins & Medals (29)
- Firearms & Weapons (17)
- Crafts & Hobbies (12)
- How-to & Home Improvements (717)
- Building & Construction (379)
- Carpentry (20)
- Do-It-Yourself (38)
- Electrical (73)
- Heating, Ventilation & Air Conditioning (69)
- Home Design & Construction (66)
- Home Repair (90)
- How to Do Everything (5)
- Masonry (26)
- Plumbing & Household Automation (23)
- Remodeling & Renovation (21)
- Interior Design (76)
- Animal Care & Pets (59)
- Humanities (7493)
- Art History (77)
- Digital Photography & Video (512)
- Adobe Photoshop (222)
- Adobe Photoshop Elements (13)
- Digital Photography (262)
- Digital Printing (7)
- Equipment (76)
- Lighting (28)
- Portraits (44)
- Video Production (10)
- Essays & Commentary (42)
- Foreign Languages (1464)
- History & Criticism (579)
- History & Philosophy (14)
- Library & Information Science (49)
- Linguistics (765)
- Literary (203)
- Literature (767)
- American Literature (75)
- Books & Reading (12)
- Creative Writing & Composition (77)
- English Literature (147)
- Literary Theory (76)
- World Literature (190)
- Museums & Collections (80)
- Performing Arts (585)
- Cinematography (32)
- Digital Music (72)
- Film & Television (207)
- Music (176)
- Theater (30)
- Reference (2302)
- Visual Arts (496)
- Design (64)
- Drawing (66)
- Painting (32)
- Photography (327)
- Law (1257)
- Administrative Law (66)
- Business Law (205)
- Construction (18)
- Contracts (19)
- Corporate Law (26)
- Franchising (53)
- Labor & Employment (23)
- Property (20)
- Constitutional Law (103)
- Human Rights (44)
- Criminal Law (184)
- Criminal Procedure (19)
- Law Enforcement (89)
- English Law (44)
- Environmental & Natural Resources Law (78)
- Family & Health Law (77)
- Intellectual Property (27)
- International Law (88)
- Law Practice & Reference (118)
- Legal History (61)
- Legal Reference (27)
- Media & the Law (17)
- One-L & Legal Profession (12)
- Perspectives on Law (276)
- Comparative (41)
- Jurisprudence (79)
- Non-US Legal Systems (123)
- Procedures & Litigation (66)
- Civil Procedure (32)
- Courts (23)
- Specialties (49)
- Air & Space (26)
- Tax Law (13)
- Literature & Fiction (1194)
- Classics (259)
- Comics & Graphic Novels (37)
- Contemporary (45)
- Drama (70)
- Fiction (364)
- Action & Adventure (48)
- Fairy Tales (60)
- Historical (111)
- War (26)
- Mystery & Thrillers (100)
- Mystery (39)
- Women Sleuths (15)
- Police Procedurals (12)
- Thrillers (57)
- Psychological Thrillers (15)
- Spy Stories & Tales of Intrigue (10)
- Suspense (36)
- Mystery (39)
- Romance (52)
- Science Fiction & Fantasy (325)
- Fantasy (73)
- Gaming (60)
- Science Fiction (181)
- Adventure (25)
- United States (24)
- Humor (24)
- World Literature (85)
- Mathematics (6880)
- Algebra & Trigonometry (868)
- Applied (207)
- Calculus (542)
- Geometry (936)
- Statistics (1410)
- Medicine & Healthcare (14470)
- Alternative Medicine (40)
- Basic Sciences (4980)
- Anatomy (643)
- Biochemistry (1939)
- Biotechnology (732)
- Embryology (21)
- Genetics (984)
- Histology (39)
- Immunology (207)
- Medical Informatics (47)
- Microbiology (804)
- Neuroanatomy (40)
- Neuroscience (422)
- Parasitology (14)
- Pathology (183)
- Pathophysiology (34)
- Physiology (304)
- Toxicology (273)
- Clinical (4072)
- Anesthesiology (74)
- Cardiology (239)
- Chemotherapy (15)
- Critical Care (76)
- Dermatology (110)
- Diagnosis (108)
- Diseases (137)
- Emergency Medicine (94)
- Endocrinology (108)
- Family & General Practice (175)
- Forensic Medicine (79)
- Gastroenterology (80)
- Geriatrics (53)
- Hematology (72)
- Infectious Diseases (165)
- Internal Medicine (1328)
- Mental Health (174)
- Nephrology (40)
- Neurology (373)
- Nutrition (186)
- Obstetrics & Gynecology (116)
- Occupational & Industrial Medicine (23)
- Oncology (303)
- Ophthalmology (73)
- Orthopedics (127)
- Otorhinolaryngology (50)
- Pain Medicine (95)
- Pediatrics (192)
- Perinatology & Neonatology (27)
- Physical Medicine & Rehabilitation (66)
- Prosthesis (123)
- Psychiatry (229)
- Pulmonary & Thoracic Medicine (75)
- Radiology & Nuclear Medicine (219)
- Diagnostic Imaging (142)
- Ultrasonography (37)
- Reproductive Medicine & Technology (20)
- Rheumatology (39)
- Sports Medicine (100)
- Surgery (980)
- Colon & Rectal (21)
- General (788)
- Neurosurgery (61)
- Oral & Maxillofacial (21)
- Plastic & Cosmetic (48)
- Thoracic (28)
- Urology (118)
- Vascular (29)
- Dentistry (192)
- Oral Surgery (38)
- Preventive (42)
- Education & Training (129)
- General medicine (880)
- Health Professions & Services (462)
- Audiology & Speech Pathology (44)
- Chiropractic (16)
- Emergency Medical Services (48)
- Medical Assistants (55)
- Medical Technology (89)
- Occupational Therapy (36)
- Optometry (18)
- Physical Therapy (87)
- Radiologic & Ultrasound Technology (73)
- Hospice Care (18)
- Laboratory Medicine (123)
- Medicine Economics & Administration (398)
- Health Care Delivery (130)
- Health Policy (50)
- Health Risk Assessment (20)
- Hospital Administration & Care (86)
- Medical History & Records (25)
- Practice Management & Reimbursement (19)
- Public Health (127)
- Nursing (404)
- Administration & Management (26)
- Clinical (128)
- Assessment & Diagnosis (26)
- Critical & Intensive Care (42)
- Medical & Surgical (50)
- Psychiatric (20)
- Fundamentals & Skills (41)
- Home & Community Health (19)
- Issues, Trends & Roles (17)
- Pharmacology (109)
- Psychiatry & Mental Health (40)
- Research & Theory (14)
- Reviews & Study Guides (18)
- Test Preparation & Review (18)
- Pharmacology (3356)
- Chemistry (2963)
- Drug Delivery Systems (20)
- Molecular (8)
- Neuropsychopharmacology (12)
- Pharmacy (479)
- Product Development (40)
- Reference (145)
- Atlases (92)
- Dictionaries & Terminology (23)
- Drug Guides (17)
- Instruments & Supplies (13)
- Research (937)
- Biostatistics (238)
- Epidemiology (90)
- Special Topics (1548)
- History (1534)
- Test Preparation (298)
- Veterinary Medicine (103)
- Equine Medicine (18)
- Food Animals (13)
- Small Animal Medicine (38)
- Nature & Ecology (1897)
- Animal Rights (30)
- Conservation (171)
- Endangered Species (27)
- Environmentalism (53)
- Ecosystems (21)
- Environment (1249)
- Environmental Studies (829)
- Recycling (55)
- Weather (453)
- Field Guides & Rocks and Minerals (32)
- Hiking & Camping (41)
- Lakes & Ponds (54)
- Natural History (16)
- Natural Resources (143)
- Fisheries & Aquaculture (72)
- Forests & Forestry (50)
- Oceans & Seas (78)
- Marine Life (42)
- Rocks & Minerals (24)
- Survival Skills (20)
- Water Supply & Land Use (53)
- Nonfiction (5699)
- Automotive (71)
- Foreign Language Nonfiction (53)
- Transportation (98)
- Aviation (54)
- Commercial (39)
- Piloting & Flight Instruction (24)
- Railroads (17)
- Ships (27)
- Aviation (54)
- True Accounts (117)
- Espionage (31)
- Murder & Mayhem (17)
- True Crime (75)
- Philosophy (1150)
- Aesthetics (38)
- Epistemology (117)
- Ethics (280)
- History & Surveys (402)
- Logic (139)
- Metaphysics (105)
- Physics (8572)
- Acoustics & Sound (254)
- Chaos Theory (109)
- Chemical Physics (110)
- Dynamics (1043)
- Fluid Dynamics (546)
- Thermodynamics (566)
- Electromagnetism (506)
- Electricity (220)
- Magnetism (218)
- Entropy (54)
- Gravity (200)
- Mathematical Physics (2062)
- Mechanics (1518)
- Nanostructures (232)
- Nuclear Physics (978)
- Atomic & Nuclear Physics (489)
- Particle Physics (515)
- Optics (613)
- Quantum Theory (1149)
- Relativity (264)
- Solid-State Physics (878)
- Condensed Matter (813)
- System Theory (236)
- Time (32)
- Waves & Wave Mechanics (439)
- Political Science (1632)
- Government (501)
- Civics (36)
- Congresses, Senates, & Legislative Bodies (21)
- Constitutions (25)
- Democracy (147)
- Federal Government (48)
- Public Affairs & Administration (93)
- State & Local Government (36)
- International Relations (323)
- Political History (249)
- Political Ideologies (153)
- Political Parties (82)
- Blue Politics (32)
- Purple Politics (24)
- Red Politics (26)
- Public Affairs (37)
- Public Policy (573)
- Government (501)
- Psychology (1166)
- Behavioral Psychology (37)
- Clinical Psychology (130)
- Cognitive Psychology (633)
- Developmental Psychology (74)
- Neuropsychology (120)
- Psychopathology (102)
- Psychotherapy (161)
- Reference (2799)
- Almanacs & Yearbooks & Annuals (42)
- Atlases & Maps (10)
- Catalogs & Directories (33)
- Consumer Guides (23)
- Dictionaries & Thesauruses (639)
- English (103)
- Foreign Language (161)
- Science (342)
- Slang & Idioms (33)
- Synonyms & Antonyms (20)
- Education (374)
- Book Notes (16)
- College Guides (33)
- Questions & Answers (108)
- Test Guides – Careers (15)
- Test Guides – College & University (70)
- Advanced Placement (20)
- College Entrance (30)
- SAT & PSAT (21)
- Test Guides – Graduate & Professional (110)
- GMAT (15)
- GRE (10)
- Professional (74)
- TOEFL & TOEIC (19)
- Workbooks (26)
- Encyclopedias (1075)
- Antiques & Collectibles (423)
- Art (89)
- Children's (68)
- Cooking (64)
- Gardening (10)
- Medical (164)
- Mythology & Folklore (60)
- Pop Culture (12)
- Religion (138)
- Sports (172)
- Veterinary (27)
- Etiquette & Conversation (25)
- Foreign Languages (94)
- Instruction (15)
- Italian (16)
- Latin (28)
- Sign Language (36)
- Fun Facts & Curiosities & Wonders (18)
- Genealogy (21)
- Publishing & Books (52)
- Authorship (34)
- Bibliographies & Indexes (15)
- Quotations (26)
- Study Guides (534)
- Words & Language (33)
- Writing Skills (35)
- Relationships (429)
- Dysfunctional Relationships (17)
- Family & Parenting (25)
- Fertility (16)
- Interpersonal Relations (162)
- Love & Romance (73)
- Marriage (47)
- Motherhood (15)
- Special Needs & Disabilities (24)
- Weddings (17)
- Religion & Spirituality (1974)
- Christianity (757)
- Earth-Based Religions (79)
- Wicca (38)
- Witchcraft (42)
- Islam (117)
- Judaism (131)
- History of Religion (54)
- Jewish Life (16)
- Sacred Writings (36)
- Kabbalah (16)
- Theology (20)
- New Age (72)
- Divination (24)
- Mental & Spiritual Healing (22)
- New Thought (26)
- Other Eastern Religions (41)
- Other Practices (90)
- Religious Studies (590)
- Buddhism (40)
- Church & State (73)
- Comparative Religion (127)
- Controversial Knowledge (41)
- Gender & Sexuality (21)
- Religious History (103)
- Science & Religion (80)
- Science & Research (8453)
- Experiments, Instruments & Measurement (340)
- Electron Microscopes & Microscopy (52)
- Experiments & Projects (43)
- Measurement (183)
- Scientific Instruments (51)
- Telescopes (16)
- Science for Kids (68)
- Experiments, Instruments & Measurement (340)
- Social Sciences (2718)
- Anthropology (355)
- Archaeology (175)
- Communication & Journalism (115)
- Journalism (30)
- Media Studies (84)
- Crime & Criminals (445)
- Criminology (254)
- Forensic Science (228)
- Penology (53)
- Gender Studies (1218)
- Gay & Lesbian Studies (1022)
- Civil Rights (75)
- Literature & Fiction (905)
- Women's Studies (142)
- Feminist Theory (70)
- Women Writers (40)
- Gay & Lesbian Studies (1022)
- Military Sciences (89)
- Sociology (439)
- Sports (131)
- Boating (32)
- Coaching (14)
- History of Sports (22)
- Individual Sports (56)
- Mountain Climbing (15)
- Tourism & Travel (469)
- Australia & South Pacific (17)
- Caribbean (27)
- Ecotourism (26)
- Guidebook Series (202)
- Adventure Guides (19)
- Frommer's (130)
- Lonely Planet (48)
- North America (71)
- Reference & Tips (213)
- Essays & Travelogues (23)
- Food & Lodging (22)
- Guidebooks (84)
- Accounting (1094)