LEADER 01368nam0-22004571i-450 001 990000057220403321 005 20200723124915.0 010 $a88-207-0031-X 035 $a000005722 035 $aFED01000005722 035 $a(Aleph)000005722FED01 035 $a000005722 100 $a20020821d1980----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aCompressori centrifughi ed assiali$fMario Albin 210 $aNapoli$cLiguori$d1980 215 $a274 p.$cill.$d23 cm 610 0 $aCompressori centrifughi 610 0 $aCompressori assiali 676 $a621.5 700 1$aAlbin,$bMario$035 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000057220403321 952 $a13 P 07 15$b2426$fFINBC 952 $a13 37 33$b19239 / 18670$fFINBC 952 $a13 C 55 27$b19240 / 18671$fFINBC 952 $a13 C 55 28$b19241 / 18672$fFINBC 952 $a23 09 A 19$b19242 / 18673$fFINAG 952 $a23 09 A 20$b19243 / 18674$fFINAG 952 $a23 09 A 21$b19244 / 18675$fFINAG 952 $a13 C 55 29$b3039 / 2020$fFINBC 952 $a13 C 55 30$b3040 / 2020$fFINBC 952 $a23 16 A 19$b3040 / 2020$fFINAG 952 $a23 16 A 20$b3042 / 2020$fFINAG 959 $aFINBC 959 $aFINAG 996 $aCompressori centrifughi ed assiali$981146 997 $aUNINA LEADER 10736nam 2200469 450 001 9910491025803321 005 20230629215551.0 010 $a3-030-71319-9 035 $a(CKB)4100000011979473 035 $a(MiAaPQ)EBC6676146 035 $a(Au-PeEL)EBL6676146 035 $a(OCoLC)1260345051 035 $a(EXLCZ)994100000011979473 100 $a20220327d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntroduction to SystemVerilog /$fAshok B. Mehta 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (866 pages) 311 $a3-030-71318-0 320 $aIncludes bibliographical references and index. 327 $aIntro -- Foreword -- Preface -- Recommended Books to Supplement the Material Presented in this Book -- Chapters of the Book -- Acknowledgments -- Contents -- List of Figures -- List of Tables -- About the Author -- Chapter 1: Introduction -- 1.1 SystemVerilog Language Evolution -- Chapter 2: Data Types -- 2.1 Integer Data Types -- 2.1.1 Integer, int, longint, shortint, logic, byte, reg -- 2.1.2 Signed Types -- 2.1.3 Bits vs. Bytes -- 2.2 Real Data Types -- 2.2.1 "real" Data-Type Conversion Functions -- 2.3 Nets -- 2.3.1 "wire" and "tri" -- 2.3.2 Unresolved "wire" Type: "uwire" -- 2.3.3 Resolved vs. Unresolved Type -- 2.3.4 "wand" and "triand" -- 2.3.5 "wor" and "trior" -- 2.3.6 "tri0" and "tri1" -- 2.4 Drive Strengths -- 2.5 Variable vs. Net -- 2.6 "var" -- 2.7 Variable and Net Initialization -- 2.8 Static, Automatic, and Local Variables -- 2.8.1 Static vs. Local Variables -- 2.8.2 Automatic vs. Static Variable -- 2.8.3 Variable Lifetimes -- 2.9 Enumerated Types -- 2.9.1 Enumerated-Type Methods -- 2.9.2 Enumerated Type with Ranges -- 2.10 User-Defined Type: Typedef -- 2.11 String Data Type -- 2.11.1 String Operators -- 2.11.2 String Methods -- 2.12 Event Data Type -- 2.12.1 Event Sequencing: wait_order () -- 2.13 Static Casting -- 2.13.1 Bit-Stream Casting -- 2.14 Dynamic Casting -- Chapter 3: Arrays -- 3.1 Packed and Unpacked Arrays -- 3.1.1 2-D Packed Array -- 3.1.2 3-D Packed Array -- 3.1.3 1-D Packed and 1-D Unpacked Array -- 3.1.3.1 Multidimensional Arrays -- 3.1.4 4-D Unpacked Array -- 3.1.5 1-D Packed and 3-D Unpacked Array -- 3.1.6 2-D Packed and 2D-Unpacked Array -- 3.1.7 3-D Packed and 1-D Unpacked Array -- 3.2 Assigning, Indexing, and Slicing of Arrays -- 3.2.1 Packed and Unpacked Arrays as Arguments to Subroutines -- 3.3 Dynamic Arrays -- 3.3.1 Dynamic Arrays - Resizing -- 3.3.2 Copying of Dynamic Arrays. 327 $a3.3.3 Dynamic Array of Arrays -- 3.4 Associative Arrays -- 3.4.1 Wild Card Index -- 3.4.2 String Index -- 3.4.3 Class Index -- 3.4.4 String Index - Example -- 3.4.5 Associative Array Methods -- 3.4.6 Associative Array - Default Value -- 3.4.7 Creating a Dynamic Array of Associative Arrays -- 3.5 Array Manipulation Methods -- 3.5.1 Array Locator Methods -- 3.5.2 Array Ordering Methods -- 3.5.3 Array Reduction Methods -- Chapter 4: Queues -- 4.1 Queue Methods -- 4.2 Queue of SystemVerilog Classes -- 4.3 Queue of Queues: Dynamic Array of Queues -- Chapter 5: Structures -- 5.1 Packed Structure -- 5.2 Unpacked Structure -- 5.3 Structure as Module I/O -- 5.4 Structure as an Argument to Task or Function -- 5.5 Structure Within a Structure -- Chapter 6: Union -- 6.1 Packed and Unpacked Unions -- 6.1.1 Unpacked Unions -- 6.1.2 Tagged Unions -- 6.1.3 Packed Union -- Chapter 7: Packages -- Chapter 8: Class -- 8.1 Basics -- 8.2 Base Class -- 8.3 Extended Class and Inheritance -- 8.3.1 Inheritance Memory Allocation -- 8.4 Class Constructor -- 8.4.1 Base Class Constructor -- 8.4.2 Chain Constructor ( super.new()) -- 8.5 Static Properties -- 8.6 Static Methods -- 8.7 "this" -- 8.8 Class Assignment -- 8.9 Shallow Copy -- 8.10 Deep Copy -- 8.11 Upcasting and Downcasting -- 8.12 Polymorphism -- 8.13 Virtual Methods, Pure Virtual Methods, and Virtual Classes -- 8.13.1 Virtual Methods -- 8.13.2 Virtual (Abstract) Class and Pure Virtual Method -- 8.14 Data Hiding ("local," "protected," "const") and Encapsulation -- 8.14.1 Local Members -- 8.14.2 Protected Members -- 8.14.3 "const" Class Properties -- 8.15 Class Scope Resolution Operator (::) and "extern" -- 8.16 Parameterized Class -- 8.16.1 Value Parameters -- 8.16.2 Type Parameters -- 8.16.3 Parameterized Class with Static Properties -- 8.16.4 Extending Parameterized Class -- 8.17 Difference Between Class and Struct. 327 $aChapter 9: SystemVerilog "module" -- 9.1 Module Header Definition -- 9.1.1 ANSI-Style Module Header -- 9.1.2 ANSI-Style first Port Rules -- 9.1.3 ANSI-Style subsequent Port Rules -- 9.1.4 Non-ANSI-Style Module Header -- 9.2 Default Port Values -- 9.3 Module Instantiation -- 9.3.1 root -- 9.4 Nested Modules -- 9.5 Module Parameters -- 9.5.1 Overriding Module Parameters: defparam -- 9.5.2 Overriding Module Parameters: Module Instance Parameter Value Assignment -- 9.5.3 Localparam -- 9.5.4 Parameter Dependence -- Chapter 10: SystemVerilog "program" -- 10.1 Eliminating Testbench Races -- Chapter 11: SystemVerilog "interface" -- 11.1 Interfaces -- 11.2 Modports -- 11.3 Tasks and Functions in an Interface -- 11.3.1 "import" Tasks in a Modport -- 11.3.2 "export" Tasks in a Modport -- 11.4 Parameterized Interface -- 11.5 Clocking Block in an Interface -- Chapter 12: Operators -- 12.1 Assignment Operators -- 12.2 Increment and Decrement Operators -- 12.3 Arithmetic Operators -- 12.4 Relational Operators -- 12.5 Equality Operators -- 12.5.1 Wildcard Equality Operators -- 12.6 Logical Operators -- 12.7 Bitwise Operators -- 12.8 Unary Reduction Operators -- 12.9 Shift Operators -- 12.10 Conditional Operators -- 12.11 Concatenation Operators -- 12.12 Replication Operators -- 12.13 Streaming Operators (pack/unpack) -- 12.13.1 Packing of Bits -- 12.13.2 Unpacking of Bits -- 12.14 "inside" Operator (Set Membership Operator) -- Chapter 13: Constrained Random Test Generation and Verification -- 13.1 Productivity Gain with CRV -- 13.2 Constrained Random Verification (CRV) Methodology -- 13.3 SystemVerilog Support for CRV -- 13.4 Constraints -- 13.4.1 Constraints: Turning On and OFF -- 13.5 Random Variables (rand and randc) -- 13.5.1 Static Random Variables -- 13.5.2 Randomizing Arrays and Queues -- 13.5.3 Randomizing Object Handles -- 13.6 Constraint Blocks. 327 $a13.6.1 External Constraint Blocks -- 13.6.2 Weighted Distribution -- 13.6.3 "unique" Constraint -- 13.6.4 Implication and If-Else -- 13.6.5 Iterative Constraint (foreach) -- 13.6.6 Array Reduction Methods for Constraint -- 13.6.7 Functions in Constraints -- 13.6.8 Soft Constraints -- 13.7 Randomization Methods -- 13.7.1 Pre-randomization and Post-randomization -- 13.7.2 Local Scope Resolution (local::) -- 13.8 rand_mode(): Disabling Random Variables -- 13.9 constraint_mode(): Control Constraints -- 13.10 randomize() with Arguments: In-Line Random Variable Control -- 13.11 Random Number Generation System Functions and Methods -- 13.11.1 Random Number Generator (RNG) -- 13.11.2 urandom() and urandom_range() -- 13.11.3 srandom(), get_randstate(), and set_randstate() -- 13.12 Random Stability -- 13.13 Randcase -- 13.14 randsequence -- 13.14.1 Random Production Weights and If-Else Statement -- 13.14.2 Repeat Production Statement -- 13.14.3 rand join -- 13.14.4 break and return -- 13.14.5 Passing Values Between Productions -- 13.14.5.1 Passing Return Value -- Chapter 14: SystemVerilog Assertions -- 14.1 SystemVerilog Assertions Evolution -- 14.2 What Is an Assertion? -- 14.3 Why Assertions? What Are the Advantages? -- 14.3.1 Assertions Shorten Time to Develop -- 14.3.2 Assertions Improve Observability -- 14.3.3 Other Major Benefits -- 14.3.4 One-Time Effort, Many Benefits -- 14.4 Assertions in Static Formal -- 14.5 Methodology Components -- 14.5.1 Types of Assertions to Add -- 14.5.2 How to Add Assertions? What Is the Protocol? -- 14.5.3 How Do I Know I Have Enough Assertions? -- 14.5.4 A Simple PCI Read Example: Creating an Assertion Test Plan -- 14.6 Assertion Types -- 14.7 Conventions Used in This Chapter -- 14.8 Immediate Assertions -- 14.8.1 Deferred Immediate Assertions -- 14.9 Concurrent Assertions: Basics -- 14.9.1 Implication Operator. 327 $a14.10 Clocking Basics -- 14.10.1 Default Clocking Block -- 14.10.2 Sampling Edge (Clock Edge) -- 14.10.3 Active Region -- 14.10.4 Observed Region -- 14.10.5 Reactive Region -- 14.10.6 Preponed Region -- 14.11 Concurrent Assertions Are Multi-threaded -- 14.12 Formal Arguments -- 14.13 Disable (Property) Operator: disable iff -- 14.14 Severity Levels -- 14.15 Binding Properties -- 14.15.1 Binding Properties (Scope Visibility) -- 14.15.2 VHDL DUT Binding with SystemVerilog Assertions -- 14.16 Difference Between "sequence" and "property" -- 14.17 Sampled Value Functions -- 14.17.1 rose: Edge Detection in Property/Sequence -- 14.17.2 fell: Edge Detection in Property/Sequence -- 14.17.3 Edge Detection Is Useful Because... -- 14.17.4 stable -- 14.17.5 past -- 14.17.5.1 Application: past() -- 14.18 Operators -- 14.18.1 ##m: Clock Delay -- 14.18.2 ##[m:n]: Clock Delay Range -- 14.18.2.1 Clock Delay Range Operator: ##[m:n] - False Positive -- 14.18.3 [*m]: Consecutive Repetition Operator -- 14.18.4 [*m:n]: Consecutive Repetition Range Operator -- 14.18.4.1 Applications: Consecutive Repetition Range Operator -- 14.18.5 [=m]: Non-consecutive Repetition -- 14.18.6 [=m:n]: Non-consecutive Repetition Range Operator -- 14.18.6.1 Application: Non-consecutive Repetition Operator -- 14.18.7 [-> -- ] Non-consecutive GoTo Repetition Operator -- 14.18.8 Difference Between [=m:n] and [-> -- m:n] -- 14.18.9 Application: GoTo Repetition - Non-consecutive Operator -- 14.18.10 Sig1 throughout Seq1 -- 14.18.11 Seq1 within Seq2 -- 14.18.12 Application: Seq1 "within" Seq2 -- 14.18.13 Seq1 and Seq2 -- 14.18.14 Application: "and" Operator -- 14.18.15 Seq1 or Seq2 -- 14.18.16 Seq1 "intersect" Seq2 -- 14.18.17 Application: "intersect" Operator -- 14.18.18 first_match -- 14.18.19 Application: first_match -- 14.18.20 not Operator. 327 $a14.18.21 if (Expression) property_expr1 Else property_expr2. 606 $aSystemVerilog (Computer hardware description language) 615 0$aSystemVerilog (Computer hardware description language) 676 $a621.392 700 $aMehta$b Ashok B.$0763798 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910491025803321 996 $aIntroduction to SystemVerilog$92156566 997 $aUNINA LEADER 05278nam 2200661 450 001 9910794938303321 005 20230809234404.0 010 $a3-11-052634-4 010 $a3-11-052723-5 024 7 $a10.1515/9783110527230 035 $a(CKB)4340000000202480 035 $a(MiAaPQ)EBC5043142 035 $a(DE-B1597)474752 035 $a(OCoLC)1004190926 035 $a(OCoLC)1004874655 035 $a(DE-B1597)9783110527230 035 $a(Au-PeEL)EBL5043142 035 $a(CaPaEBR)ebr11438521 035 $a(EXLCZ)994340000000202480 100 $a20171013h20172017 uy 0 101 0 $ager 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 00$aHumanistische Antikenu?bersetzung und fru?hneuzeitliche Poetik in Deutschland (1450-1620) /$fherausgegeben von Regina Toepfer, Johannes Klaus Kipf und Jo?rg Robert 210 1$aBerlin, [Germany] ;$aBoston, [Massachusetts] :$cDe Gruyter,$d2017. 210 4$d©2017 215 $a1 online resource (584 pages) $cillustrations, tables 225 1 $aFru?he Neuzeit,$x0934-5531 ;$vBand 211 311 $a3-11-052606-9 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tVorwort -- $tInhalt -- $tEinleitung: Humanistische Antikenübersetzung und frühneuzeitliche Poetik in Deutschland (1450?1620) -- $tEinleitung: Übersetzungsreflexion und Sprachbewusstsein -- $tParameter des Übersetzens -- $tWidererwaxsung -- $tErasmus als Übersetzer -- $twie das ein grosser vnderscheyd seye zwischen disen Teütschen vnd den vorigen Lateinischen Josephis -- $tEinleitung: Institutionen und Funktionen -- $tÜbersetzen im deutschen Frühhumanismus -- $tVergil zü tütsch -- $tVergilrezeption im deutschen Humanismus am Beispiel von Stephan Reichs Bucolica-Übersetzung -- $tLateinische Texte der Humanisten Hutten, Reuchlin, Erasmus und ihre volkssprachigen Übersetzungen in der Reformationszeit -- $tEinleitung: Intermedialität und Paratextualität -- $tHumanistische Transpositionen -- $tBildschrift im Kontext -- $tMetáphrasis und Metaphorá -- $tEinleitung: Poetik und Rhetorik -- $tAntikenübersetzung, frühneuzeitliche Poetik und deutscher Prosastil -- $tLuthers Lieder als Antikenübersetzung? -- $tVeranschaulichungspoetik in der frühneuhochdeutschen Ovid-Rezeption -- $tTrügerische Antikenübersetzung -- $tEinleitung: Literaturvarianten und Gattungstransfer -- $tPoetologische Transformationen bei Heinrich Steinhöwel -- $tEin deutscher ,Sueton? -- $tCiceros Somnium Scipionis in volkssprachigen Übersetzungen des frühen 16. Jahrhunderts (Cammerlander, Janot, Brucioli) -- $tHeliodor unter der Tarnkappe -- $tzugfallen dem gemeinen man, Der sonst doch nicht viel mores kan -- $tKann kein Latein, hat nie studiert -- $tRegister 330 $aDie Beiträge des Sammelbands untersuchen den Zusammenhang zwischen den deutschen Antikenübersetzungen des Zeitraums von 1450 bis 1620 und der frühneuzeitlichen Rhetorik und Poetik. Dabei wird der Beitrag der Übersetzungskultur, die unter dem Einfluss der humanistischen Bildungsbewegung entsteht, für die Entwicklung der deutschen Sprache und Literatur der Frühen Neuzeit neu bestimmt. 330 $aIn der beginnenden Frühen Neuzeit zeichnet sich unter dem Einfluss der humanistischen Bildungsbewegung im Verhältnis zur antiken Literatur ein Umbruch im Vergleich zur mittelalterlichen Antikenrezeption ab: Die Schriften der Autoren des klassischen Altertums werden zum Teil wiederentdeckt, ediert und kommentiert; zahlreiche Übersetzungen werden angefertigt. In der Auseinandersetzung mit dem inhaltlichen und stilistischen Vorbild der antiken Werke ergeben sich in der Volkssprache vielfältige Veränderungen im Literatursystem, die den programmatisch an die antike Literatur anknüpfenden Neuansatz der frühneuzeitlichen Poetik durch Martin Opitz und andere vorbereiten, von diesen aber zugunsten französischer und niederländischer Vorbilder verschwiegen werden. In fünf Sektionen (Übersetzungsreflexion und Sprachbewusstsein, Institutionen und Funktionen, Intermedialität, Poetik und Rhetorik, Literaturvarianten und Gattungstransfer) wird der Beitrag der Übersetzungskultur für die Entwicklung der deutschen Sprache und Literatur der Frühen Neuzeit neu bestimmt. 410 0$aFru?he Neuzeit ;$vBand 211. 606 $aGerman literature$yEarly modern, 1500-1700$xHistory and criticism 606 $aClassical literature$xTranslations into German$xHistory and criticism 606 $aHumanism$zGermany 610 $aEarly modern period. 610 $ahumanism. 610 $apoetics. 610 $atranslation. 615 0$aGerman literature$xHistory and criticism. 615 0$aClassical literature$xTranslations into German$xHistory and criticism. 615 0$aHumanism 676 $a830.9/003 686 $aLIT004170$aLIT006000$2bisacsh 702 $aToepfer$b Regina 702 $aKipf$b J. Klaus 702 $aRobert$b Jo?rg 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910794938303321 996 $aHumanistische Antikenu?bersetzung und fru?hneuzeitliche Poetik in Deutschland (1450-1620)$93710933 997 $aUNINA