The Waveform Description Language
Edward D. Willink · 2002
This chapter contains sections titled: The Specification Problem WDL Overview Decomposition Communication Influences Hierarchical Diagrams FM3TR Example Protocol Layers Physical Layer Modules Physical Layer Finite State Machine Voice and Data Finite State Machines Hop Modulator Hop Waveform Rise Modulator Summary Refinement to an Implementation Traditional Development Process Refinement Process Automation The Reference Model Target Environments WDL Details Type Abstractions Scheduling Abstractions Unified Scheduling Model Leaf Specifications A Practical WDL Support Environment Conclusions Acknowledgements References