บทความวิจัยพ.ศ. 2560Functional verification of large-integers circuits using a cosimulation-based approach พ.ศ. 2560 ติดต่อนักวิจัยแชร์ บันทึกเข้าสู่ระบบเพื่อบันทึกคำสำคัญCryptographyMatlab/SimulinkCo-simulationAssertion-based VerificationHardware description languageHigh-level verificationLarge-integerงานวิจัยในหัวข้อใกล้เคียงFPGA-Assisted Assertion-Based Verification Platform Universiti Teknologi Malaysia พ.ศ. 2563Big-digits representation and its application in cryptography พ.ศ. 2556Co-simulation interfacing capabilities in device-level power electronic circuit simulation tools: An overview พ.ศ. 2558Scalable Hardware Mechanism for Partitioned Circuits Operation พ.ศ. 2561A Novel Strategy for Formal Verification of Asynchronous Circuit Design in PAiD tool พ.ศ. 2558