00000cmm a22000004i 4500 UP-99796217613727840 Buklod 20210531104711.0 m |o d | cr || |||a|a|a 181219s2019 xx |||| o u | eng d 9783030022150 (eBook ISBN) (iLib)UPD-00524271969 DLC DENGII rda eng TK 7888.4 L36 2019eb Languages, design methods, and tools for electronic system design selected contributions from FDL 2017 Daniel Grosse, Sara Vinco, Hiren Patel, editors. First edition. Cham Springer [2019] 1 online resource. text rdacontent computer rdamedia online resource rdacarrier Lecture Notes in Electrical Engineering 1876-1100 1. Automatic Integration of HDL IPs in Simulinkusing FMI and S-Function Interfaces -- 2. Towards Early Validation of Firmware-Based Power Management using Virtual Prototypes: A Constrained Random Approach -- 3. Symbolic Simulation of Dataflow Synchronous Programs with Timers -- 4. Language and Hardware Acceleration Backend for Graph Processing -- 5. Fault Analysis in Analog Circuits through Language Manipulation and Abstraction -- 6. A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions. IP based subscription, on campus and remote access. Access via Electronic Resources of the UPD Engineering Library and University Library websites. Electronic reproduction. Cham Springer 2019. Available via World Wide Web through SpringerLink. Electronic circuits. Electronics. Microelectronics. Microprocessors. Electronic books. Grosse, Daniel editor. Patel, Hiren editor. Vinco, Sara editor. SpringerLink (Online service). Available for University of the Philippines Diliman via SpringerLink. Click here to access http://doi.org/10.1007/978-3-030-02215-0 Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy https://link.springer.com.ezproxy.engglib.upd.edu.ph/book/10.1007%2F978-3-030-02215-0 (viewed 31 May 2021) FO UPD DENG-II Electronic Resource