| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910458107903321 |
|
|
Autore |
Robinson David |
|
|
Titolo |
Aspect-oriented programming with the e verification language [[electronic resource] ] : a pragmatic guide for testbench developers / / David Robinson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Boston, : Elsevier/Morgan Kaufmann, c2007 |
|
|
|
|
|
|
|
ISBN |
|
1-281-03832-6 |
9786611038328 |
0-08-055155-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (265 p.) |
|
|
|
|
|
|
Collana |
|
The Morgan Kaufmann series in systems on silicon |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Object-oriented programming (Computer science) |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. [239]-240) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front cover; Aspect-Oriented Programming with the e Verification Language; Copyright page; Acknowledgments; Table of Contents; Foreword; Preface; About Verilab; Chapter 1. Introduction to Aspect Oriented Programming (AOP); 1.1. What are aspects? - Part I; 1.2. Why do I need aspects? What's wrong with crosscutting concerns?; 1.3. Surely OOP doesn't have any problems?; 1.4. Why does AOP help?; 1.5. Theory vs real life - What else is AOP good for?; 1.6. What are aspects? - Part II; Chapter 2. AOP in e; 2.1. How do I extend a class? |
2.2. How do I extend a class for multiple values of a determinant?2.3. How do I extend a type?; 2.4. How do I introduce a new noncoverage member to a class?; 2.5. How do I introduce a coverage group to a class?; 2.6. How do I extend a coverage group?; 2.7. How do I change the behavior of a method?; 2.8. How do I limit the scope of my extensions?; 2.9. Using return in method advice; 2.10. Controlling the order of method extension calls; Chapter 3. Using AOP to Organize Your Code; 3.1. A word about style; 3.2. What aspects do I want to use?; 3.3. Mapping aspects to files |
Chapter 4. Creating Flexible CodeChapter 5. Creating Pluggable Code; 5.1. The extendable case statement; 5.2. The factory pattern; Chapter 6. Improving Your Productivity; 6.1. Shifting the power; 6.2. Dealing |
|
|
|
|
|
|
|
|
|
|
|
with broken code; 6.3. Handling workarounds; 6.4. Reducing and deferring class complexity; 6.5. Adding problem-specific functionality; 6.6. Reducing the OOP-induced overhead; Chapter 7. AOP in Action; 7.1. Creating a class with a selectable algorithm; 7.2. Creating a configuration interface for an eVC; 7.3. Using aspects to create a layered verification environment |
7.4. Creating reusable layered sequences7.5. Testing your verification environment; 7.6. Debugging using AOP; 7.7. Encapsulating tests; Chapter 8. Analysing e Code; 8.1. The e toolkit; 8.2. Finding class declarations and extensions; 8.3. Finding the class inheritance hierarchy; 8.4. Finding the determinants used by a class; 8.5. Finding method declarations and extensions; 8.6. Finding field declarations; 8.7. Finding event declarations; 8.8. Finding enumerated type declarations and extensions; 8.9. How do I find where a value is added to a type? |
8.10. Finding cover group declarations and extensions8.11. Finding the source of a message in the log file; 8.12. Finding aspects; Bibliography; Epilogue; Index; A; C; D; E; F; H; I; J; M; N; O; P; R; S; U; W |
|
|
|
|
|
|
Sommario/riassunto |
|
What's this AOP thing anyway, really-when you get right down to it-and can someone please explain what an aspect actually is?Aspect-Oriented Programming with the e Verification Language takes a pragmatic, example based, and fun approach to unraveling the mysteries of AOP. In this book, you'll learn how to: Use AOP to organize your code in a way that makes it easy to deal with the things you really care about in your verification environments. Forget about organizing by classes, and start organizing by functionality, layers, components, protocols, functional coverage, c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910788197603321 |
|
|
Titolo |
Adaptive systems in control and signal processing 1995 : a postscript volume from the 5th IFAC Symposium, Budapest, Hungary, 14-16 June 1995 / / edited by Cs. Bányász |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford, England : , : Pergamon, , 1995 |
|
©1995 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[First edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (491 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Adaptive control systems |
Adaptive signal processing |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"5th IFAC Symposium on Adaptive Systems in Control and Signal Processing 1995." |
"Published for the International Federation of Automatic Control." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
""Front Cover""; ""Adaptive Systems in Control and Signal Processing 1995""; ""Copyright Page""; ""Table of Contents""; ""Part I: PLENARY SESSIONS""; ""Chapter 1. IDENTIFICATION FOR CONTROL""; ""1. INTRODUCTION""; ""2. IDENTIFICATION IN OPEN AND CLOSED LOOP""; ""3. THE DUAL CONTROL APPROACH""; ""4. OPTIMAL IDENTIFICATION DESIGN FOR CONTROL""; ""5. MATCHING IDENTIFICATION AND CONTROL CRITERION""; ""6. CONCLUSIONS""; ""ACKNOWLEDGEMENTS""; ""7. REFERENCES""; ""Chapter 2. COMBINED IDENTIFICATION AND CONTROL: ANOTHER WAY""; ""1. INTRODUCTION""; ""2. A NEW CONTROLLER STRUCTURE"" |
""3. A GENERIC SCHEME FOR OPTIMAL POLEPLACEMENT CONTROLLERS""""4. COMBINED mENTIFICATION AND CONTROL SCHEMES""; ""5. COMPARISON OF THE DIFFERENT SCHEMES""; ""6. ON THE GENERIC OPTIMAL CONTROLLER SCHEME""; ""7. EXAMPLES FOR OFF-LINE ITERATIVE REGULATOR REFINEMENT""; ""8. A WORST-CASE OPTIMAL INPUT DESIGN ALGORITHM FOR OFF-LINE CLCR IDENTIFICATION""; ""9. EXAMPLES FOR CLCR IDENTIFICATION BASED ON |
|
|
|
|
|
|
|
|
|
|
|
OPTIMAL INPUT DESIGN""; ""10. ADAPTIVE SOLUTION FOR THE ON-LINE ITERATIVE REGULATOR REFINEMENT""; ""11. THE CONCEPT OF AN ADAPTIVE ""TRIPLECONTROL""""; ""12. ADAPTIVE EXAMPLES""; ""13. CONCLUSIONS"" |
""14. REFERENCES""""Chapter 3. NONLINEAR ADAPTIVE FILTERS: DESIGN AND APPLICATION""; ""1. INTRODUCTION""; ""2. FILTERS FOR NOISE REDUCTION""; ""3. ADAPTIVE EQUALISATION""; ""4. A CLASSIFICATION PROBLEM""; ""5. THE MULTILAYER PERCEPTRON""; ""6. THE VOLTERRA SERIES""; ""7. THE RADIAL BASIS FUNCTION NETWORK""; ""8. THE DECISION FEEDBACK EQUALISER""; ""9. SIGNAL PREDICTION""; ""10. CONCLUSIONS""; ""11. ACKNOWLEDGEMENTS""; ""12. REFERENCES""; ""Chapter 4. ADAPTIVE PREDICTIVE CONTROL""; ""1 INTRODUCTION""; ""2 MODELS""; ""3 COST FUNCTIONS, PERFORMANCE AND ROBUSTNESS""; ""4 CONSTRAINTS"" |
""5 RECURSIVE LEAST SQUARES AND UDU""""6 SIMULTANEOUS ESTIMATION OF MODELS""; ""7 USING THE UDU METHOD""; ""8 FIDDLE FACTORS""; ""9 CONCLUSIONS""; ""10 ACKNOWLEDGEMENTS""; ""11 REFERENCES""; ""Chapter 5. A KULLBACK-LEIBLER DISTANCE APPROACH TO SYSTEM IDENTIFICATION""; ""1. INTRODUCTION""; ""2. PARAMETER ESTIMATION AND PROBABILITY""; ""3. KULLBACK-LEIBLER DISTANCE""; ""4. PARAMETER ESTIMATION AND KULLBACK-LEIBLER DISTANCE""; ""5. ASYMPTOTIC APPROXIMATION VIA LARGE DEVIATIONS""; ""6. COPING WITH ""BAD"" DATA""; ""7. COPING WITH ""BAD"" MODEL""; ""8. MARKOV CHAINS""; ""9. CONCLUDING REMARKS"" |
""ACKNOWLEDGMENT""""REFERENCES""; ""Part II: INVITED SESSION WEAK-DUALITY FOR ADAPTIVE CONTROL""; ""Chapter 6. Adaptive dual control methods: An overview""; ""1. INTRODUCTION""; ""2. ADAPTIVE CONTROL""; ""3. CLASSIFICATION OF CONTROLLERS""; ""4. NON-DUAL ADAPTIVE CONTROLLERS""; ""5. OPTIMAL DUAL CONTROLLERS""; ""6. SUBOPTIMAL DUAL CONTROLLERS""; ""7. WHEN TO USE DUAL CONTROL?""; ""8. SUMMARY""; ""9. REFERENCES""; ""Chapter 7. ADAPTIVE CONTROL BY WORST-CASE DUALITY""; ""1. INTRODUCTION""; ""2. THE WORST-CASE DUAL-CONTROL PROBLEM""; ""3. A POSTERIORI FINITE-TIME TUNING BY A SYNERGIC SCHEME"" |
""4. CONCLUSION"" |
|
|
|
|
|
|
Sommario/riassunto |
|
Leading academic and industrial researchers working with adaptive systems and signal processing have been given the opportunity to exchange ideas, concepts and solutions at the IFAC Symposia on Adaptive Systems in Control and Signal Processing. This postprint volume contains all those papers which were presented at the 5th IFAC Symposium in Budapest in 1995. The technical program was composed of a number of invited and contributed sessions and a special case study session, providing a good balance between applications and theory oriented papers. |
|
|
|
|
|
|
|
| |