Sign-In
Cart
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen
Paperback
Technology & EngineeringElectrical
Please select the version of book you would like to purchase.
ISBN10: 3656997764
ISBN13: 9783656997764
Publisher: Examicus Verlag
Published: Jul 9 2012
Pages: 56
Weight: 0.19
Height: 0.13 Width: 5.83 Depth: 8.27
Language: German
ISBN13: 9783656997764
Publisher: Examicus Verlag
Published: Jul 9 2012
Pages: 56
Weight: 0.19
Height: 0.13 Width: 5.83 Depth: 8.27
Language: German
Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formale Verifikation von Schaltungen sehr verbreitet und wird mit Erfolg eingesetzt. Die Verifikation von nichtlinearen, analogen Schaltungen hingegen ist noch neu. In Schaltkreisen mit digitalen wie auch analogen Teilen entstehen im analogen Anteil ungefähr 50% der Fehler, die zu einer Neuimplementierung führen. Daher ist es von gro em Interesse den analogen Teil ebenfalls verifizieren zu können. Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universität in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollständigen und effizienter zu gestalten. Dieser verwendete Ansatz von Scholz und Ehrenfried basiert auf der Arbeit von Hartong. Im Zuge der Arbeit wurde weiterhin untersucht, inwiefern sich der verwendete Ansatz um die Möglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lässt.
Also in
Technology & Engineering
All Data Are Local: Thinking Critically in a Data-Driven Society
Loukissas, Yanni Alexander
Paperback
$45.00
The Age of Living Machines: How Biology Will Build the Next Technology Revolution
Hockfield, Susan
Paperback
$17.05
Ingenious Patents: Bubble Wrap, Barbed Wire, Bionic Eyes, and Other Pioneering Inventions
Bennett, Jay
Ikenson, Ben
Hardcover
$14.99
The Reverse Centaur's Guide to Life After AI: How to Think about Artificial Intelligence--Before It's Too Late
Doctorow, Cory
Paperback
$16.20
The Agi Chronicles: The Inside Story of the Race to Create an Artificial Superintelligence
Roose, Kevin
Hardcover
$29.70
Improvised Munitions Black Book: Complete and Unabridged in One Volume: Complete and Unabridged in One Volume
U S Government
Paperback
$18.99
You Don't Need a Smartphone: A Practical Guide to Downgrading Your Phone and Upgrading Your Life
Lamm, August
Paperback
$18.90
AI for Good: How Real People Are Using Artificial Intelligence to Fix Things That Matter
Tyrangiel, Josh
Hardcover
$27.55
The Infinity Machine: Demis Hassabis, Deepmind, and the Quest for Superintelligence
Mallaby, Sebastian
Hardcover
$28.80
The Story of Your Life: How Social Media Shapes the Way We Experience Everything
Jezer-Morton, Kathryn
Hardcover
$27.00
Ultimate Guide: Wiring, Updated 10th Edition: Meets Current National Electrical Code Standards
The Editors of Creative Homeowner
Paperback
$23.74
Basic Butchering of Livestock & Game: Beef, Veal, Pork, Lamb, Poultry, Rabbit, Venison
Mettler, John J.
Paperback
$17.09
Lightning Beneath the Sea: The Race to Wire the World and the Dawn of the Information Age
Tabor, James M.
Hardcover
$28.79
Like, Follow, Subscribe: Influencer Kids and the Cost of a Childhood Online
Latifi, Fortesa
Hardcover
$28.50
Kobuk the Destroyer: And Other Tales from the Wild, Unseen World of Test Engineering
Davies, Alex
Hardcover
$28.49
Empire of Ink: The Printers, Rogues, and Radicals Who Invented the American Newspaper
Wright, Alex
Hardcover
$30.60
No One's Coming: The Rogue Heroes Our Government Turns to When There's Nowhere Else to Turn
Hazzard, Kevin
Hardcover
$28.50
Midnight in Chernobyl: The Untold Story of the World's Greatest Nuclear Disaster
Higginbotham, Adam
Paperback
$20.89
The Home Blacksmith: Tools, Techniques, and 40 Practical Projects for the Home Blacksmith
Ridgway, Ryan
Paperback
$18.99
The Ultimate Guide to Rebuilding a Civilization: A Technical Manual for the Post-Collapse Era
Evans, James
Paperback
$19.99
City on the Edge: Technology, Politics, and the Fight for the Soul of San Francisco
Weber, Jonathan
Hardcover
$30.40
Curved Air: A Biography of Sickle Cell Anemia and the Quest to Cure the First Molecular Disease
Davies, Kevin
Hardcover
$26.96
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence
Crawford, Kate
Paperback
$19.00
The Elements of Power: A Story of War, Technology, and the Dirtiest Supply Chain on Earth
Niarchos, Nicolas
Hardcover
$28.80
The Problem with Plastic: How We Can Save Ourselves and Our Planet Before It's Too Late
Enck, Judith
Mahoney, Adam
Beyond Plastics
Hardcover
From $17.99
AI Snake Oil: What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference
Kapoor, Sayash
Narayanan, Arvind
Paperback
$16.10
Generation Regeneration: Codesigning the Future of Cities Through Regenerative Placemaking
Cho, Tony
Hardcover
$27.50
Crisis Engineering: Time-Tested Tools for Turning Chaos Into Clarity
Nitze, Marina
Weaver, Matthew
Dickerson, Mikey
Paperback
$18.99
The Boy Who Harnessed the Wind: Creating Currents of Electricity and Hope
Kamkwamba, William
Mealer, Bryan
Paperback
$18.04
CompTIA Tech+ Certification All-in-One Exam Guide, Third Edition (Exam FC0-U71)
Wempen, Faithe
Paperback
$57.00
Bringing Columbia Home: The Untold Story of a Lost Space Shuttle and Her Crew
Leinbach, Michael D.
Ward, Jonathan H.
Paperback
$18.04
Artificial Intelligence: A Guide for Thinking Humans (with a New Preface)
Mitchell, Melanie
Paperback
$19.00
A Brief History of Cities in 32 Inventions: The Ideas and Technologies That Made Modernity Possible
Elledge, Jonn
Hardcover
$22.46
Human + Machine, Updated and Expanded: Reimagining Work in the Age of AI
Daugherty, Paul R.
Wilson, H. James
Hardcover
$30.40
The Bitter Struggle: Superintelligence, Superpowers, and the Fate of the World
Collins, Tantum
Buchanan, Ben
Hardcover
$31.35
Cadillac Desert: The American West and Its Disappearing Water, Revised Edition
Reisner, Marc
Paperback
From $12.99
Meat: How the Next Agricultural Revolution Will Transform Humanity's Favorite Food--And Our Future
Friedrich, Bruce
Hardcover
$28.45
Make: Electronics: Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast
Platt, Charles
Paperback
$33.24
Pilot's Handbook of Aeronautical Knowledge: Faa-H-8083-25c
Federal Aviation Administration (FAA)
Hardcover
$47.49
The New Age of Sexism: How AI and Emerging Technologies Are Reinventing Misogyny
Bates, Laura
Hardcover
$27.54
Inconspicuous Consumption: The Environmental Impact You Don't Know You Have
Schlossberg, Tatiana
Paperback
$18.99
The Bullwhip's Algorithm: Artificial Intelligence and America's Racial Caste System
Bobb, Kamau
Hardcover
$26.55
CNC Woodworking for the Absolute Beginner: Winning Tips, Techniques & 5 Skill-Building Projects
Bagnall, Ralph
Paperback
$12.34
High-Wing Aircraft Visualized Flight Maneuvers Manual: For Pilots in Training
ASA Test Prep Board
Paperback
$23.70
The Trillion Dollar War Machine: How Runaway Military Spending Drives America Into Foreign Wars and Bankrupts Us at Home
Hartung, William D.
Freeman, Ben
Hardcover
$27.00
Bioinspired: How Nature Made Us Modern, Drives Today's Technological Innovation, and Inspires a Future Worth Inventing
Stier, Samuel Cord
Hardcover
$33.25
Tubes: A Journey to the Center of the Internet with a New Introduction by the Author
Blum, Andrew
Paperback
$18.99
AI Projects with Raspberry Pi: High-Performance Artificial Intelligence for Robotics, Security, Home Automation, and Vision
Jepson, Brian
Hattersley, Lucy
Paperback
$21.84
ASE Technician Test Preparation Automotive Maintenance and Light Repair (G1)
Delmar Cengage Learning
Paperback
$56.48
The Baofeng Radio Revolution: The Beginner Guerrilla's Guide to Break Through the Complexity, Secure Communications, and Prepare for Disaster With Pre
Code Publishing, Morse
Hardcover
$28.49
Broken Money: Why Our Financial System is Failing Us and How We Can Make it Better
Alden, Lyn
Paperback
$22.79
Disneyland and the Rise of Automation: How Technology Created the Happiest Place on Earth
Betancourt, Roland
Hardcover
$33.25
Agentic Artificial Intelligence: Harnessing AI Agents to Reinvent Business, Work, and Life
Davenport, Thomas H.
Bornet
Wirtz, Jochen
Paperback
$27.54
Air Force Handbook 10-644 Survival Evasion Resistance Escape SERE Operations: 27 March 2017
The Air Force, Department of
Paperback
$31.49
The Coming Wave: Technology, Power, and the Twenty-First Century's Greatest Dilemma
Suleyman, Mustafa
Hardcover
$30.88
How to Use an Oscilloscope 2026: Master Measurement Skills for Electronics Beginners and Pros
Grant, Nathaniel Cole
Paperback
$13.19
Drawing Lessons with Da Vinci: An Artist's Guide to Geometry, Anatomy and Proportion
Roig, Gabriel Martín
Paperback
$23.74
AI Snake Oil: What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference
Narayanan, Arvind
Kapoor, Sayash
Hardcover
$23.70
Texas DMV Driver's Handbook: Practice for the Texas Permit Test with 350+ Driving Questions and Answers
Prep, Discover
Paperback
$10.35
Reinventing Wool: How a Natural Fiber Survived the Synthetic Revolution
Littlefield, Melissa M.
Hardcover
$31.30
Essential Off-Grid Survival Projects: 50 Life-Saving Solutions for Shelter, Water, Food, and Safety
Furneaux, Ky
Hardcover
$24.69
The Powerful Primate: How Controlling Energy Enabled Us to Build Civilization
Ennos, Roland
Hardcover
$27.00
The Unaccountability Machine: Why Big Systems Make Terrible Decisions--And How the World Lost Its Mind
Davies, Dan
Paperback
$19.00
Spec Ops: Case Studies in Special Operations Warfare: Theory and Practice
McRaven, William H.
Paperback
$21.85
Longitude: The True Story of a Lone Genius Who Solved the Greatest Scientific Problem of His Time
Sobel, Dava
Paperback
$17.09
The Shortest History of Innovation: From the Wheel to Gene Editing, Ai, and Beyond - How New Ideas Shape Our World
Leigh, Andrew
Paperback
$16.10