{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":50,"n_cols":5,"rows_kept":50,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[11,2,11,3],[13,2,13,3],[14,2,14,3],[17,2,17,3],[20,2,20,3],[20,4,20,5],[21,2,21,3],[21,4,21,5],[22,2,22,3],[22,4,22,5],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[30,2,30,3],[30,4,30,5],[31,2,31,3],[31,4,31,5],[32,2,32,3],[32,4,32,5],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[45,2,45,3],[46,2,46,3],[48,2,48,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910299760103321"]
[null,null,"Autore",null,"Mehta Ashok B"]
[null,null,"Titolo",null,"System Verilog assertions and functional coverage : guide to language, methodology and applications / / Ashok B. Mehta"]
[null,null,"Pubbl/distr/stampa",null,"New York, : Springer, c2014"]
[null,null,"ISBN",null,"1-4614-7324-1"]
[null,null,"Descrizione fisica",null,"1 online resource (xxxiii, 356 pages) : illustrations (some color)"]
[null,null,"Collana",null,"Gale eBooks"]
[null,null,"Disciplina",null,"004.1"]
[{"$nulls":4},"620"]
[{"$nulls":4},"621.381"]
[{"$nulls":4},"621.3815"]
[null,null,"Soggetti",null,"Computer hardware description languages"]
[{"$nulls":4},"Verilog (Computer hardware description language)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Includes index."]
[null,null,"Nota di contenuto",null,"Introduction -- System Verilog Assertions -- Immediate Assertions -- Concurrent Assertions – Basics (sequence, property, assert).- Sampled Value Functions   $rose, $fell -- Operators -- System Functions and Tasks -- Multiple clocks -- Local Variables -- Recursive property -- Detecting and using endpoint of a sequence -- ‘expect’ -- ‘assume’ and formal (static functional) verification -- Other important topics -- Asynchronous Assertions !!! -- IEEE-1800–2009 Features -- SystemVerilog Assertions LABs -- System Verilog Assertions – LAB Answers -- Functional Coverage -- Performance Implications of coverage methodology -- Coverage Options (Reference material)."]
[null,null,null,"Sommario/riassunto","This book provides a hands-on, application-oriented guide to the language and methodology of both System Verilog Assertions and System Verilog Functional Coverage.  Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model complex timing checks and objectively answer the question ‘have we functionally verified everything’.  Written by a professional end-user of both System Verilog Assertions and System Verilog Functional Coverage, this book explains each concept with easy to understand examples, simulation logs and applications derived from real projects.  Readers will be empowered to tackle the modeling of "]
[{"$nulls":4},"complex checkers for functional verification, thereby reducing drastically their time to design and debug. Covers both System Verilog Assertions and System Verilog Functional Coverage language and methodologies; Provides practical examples of the what, how and why of Assertion Based Verification and Functional Coverage methodologies; Explains each concept in an easy to understand, step-by-step fashion and applies it to a real example; Includes practical labs that enable readers to put in practice the concepts explained in the book."]
[null,"2.","Record Nr.",null,"UNIORUON00521276"]
[null,null,"Autore",null,"Geiger, Theodor"]
[null,null,"Titolo",null,"On social order and mass society : selected papers / Theodor Geiger ; edited and with an introduction by Renate Mayntz ; translations by Robert E. Peck"]
[null,null,"Pubbl/distr/stampa",null,"Chicago ; London, : University of Chicago press, 1969"]
[null,null,"Descrizione fisica",null,"X, 242 p. ; 21 cm"]
[null,null,"Disciplina",null,"301"]
[null,null,"Soggetti",null,"Sociologia - Saggi"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"3.","Record Nr.",null,"UNINA9910731485303321"]
[null,null,"Autore",null,"Huston David L"]
[null,null,"Titolo",null,"Isotopes in Economic Geology, Metallogenesis and Exploration / / edited by David Huston, Jens Gutzmer"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023"]
[null,null,"ISBN",null,"3-031-27897-6"]
[null,null,"Edizione",null,"[1st ed. 2023.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIII, 475 p. 151 illus., 118 illus. in color.)"]
[null,null,"Collana",null,"Mineral Resource Reviews, , 2365-0567"]
[null,null,"Classificazione",null,"SCI019000SCI031000SCI048000"]
[null,null,"Disciplina",null,"551.9"]
[null,null,"Soggetti",null,"Geochemistry"]
[{"$nulls":4},"Mineralogy"]
[{"$nulls":4},"Petrology"]
[{"$nulls":4},"Geotechnical engineering"]
[{"$nulls":4},"Geotechnical Engineering and Applied Earth Sciences"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"1. Isotopes in economic geology, metallogeny and exploration – an introduction -- 2. Radiometric dating applied to ore deposits: theory and methods -- 3. U–Pb dating of mineral deposits: from age constraints to ore-forming processes -- 4. The 187Re-187Os and 190Pt-186Os radiogenic isotope systems -- 5. Applications of Nd isotopes to ore deposits and metallogenic terranes."]
[null,null,null,"Sommario/riassunto","This open access book documents the use of radiogenic and stable isotopes to study mineral deposits from a global to the deposit scale. It includes data-sets that have been directly used in mineral exploration. Isotopic data have been key to developing models for the origin of many mineral deposit types. The book has four sections: (1) the use of radiogenic isotopes to date mineral deposits, (2) the use of radiogenic isotope mapping to understand metal sources and regional- to district-scale controls on metallogenesis, (3) the use of light stable isotopes to determine fluid and sulfur sources, and (4) the use of metallic stable isotopes to understand the sources of ore metals. Each section includes chapters on specific isotopic systems and/or mineral systems that provide information on theory, analytical methods, uses in deposit and metallogenic studies, examples, and traps for young players."]