[IEEE Comput. Soc Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216) - Rio de Janeiro, Brazil (30 Sept.-3 Oct. 1998)] Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216) - Formalization of finite state machines with data path for the verification of high-level synthesisBorrione, D.; Dushina, J.; Pierre, L. · 1998

mwJFS: A Multiwrite-Mode Journaling File System for MLC NVRAM StoragesChen, Shuo-Han; Chang, Yuan-Hao; Chang, Yu-Ming; Shih, Wei-Kuan · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2019