David Mallasén

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Quantifier Free

Instruction Set

Arithmetic Operations

Scientific Computing

Top Venues

Publications

David Mallasén, Alberto A. Del Barrio, Manuel Prieto-Matías
Big-PERCIVAL: Exploring the Native Use of 64-Bit Posit Arithmetic in Scientific Computing. IEEE Trans. Computers 73 (6) (2024)
David Mallasén, Raul Murillo, Alberto A. Del Barrio, Guillermo Botella, Luis Piñuel, Manuel Prieto-Matías
PERCIVAL: Deploying Posits and Quire Arithmetic into the CVA6 RISC-V Core. CF (2023)
David Mallasén, Alberto A. Del Barrio, Manuel Prieto-Matías
Big-PERCIVAL: Exploring the Native Use of 64-Bit Posit Arithmetic in Scientific Computing. CoRR (2023)
Raul Murillo, David Mallasén, Alberto A. Del Barrio, Guillermo Botella
PLAUs: Posit Logarithmic Approximate Units to Implement Low-Cost Operations with Real Numbers. CoNGA (2023)
David Mallasén, Raul Murillo, Alberto A. Del Barrio, Guillermo Botella, Luis Piñuel, Manuel Prieto-Matías
PERCIVAL: Open-Source Posit RISC-V Core With Quire Capability. ARITH (2022)
David Mallasén, Raul Murillo, Alberto A. Del Barrio, Guillermo Botella, Luis Piñuel, Manuel Prieto-Matías
Customizing the CVA6 RISC-V Core to Integrate Posit and Quire Instructions. DCIS (2022)
David Mallasén, Raul Murillo, Alberto A. Del Barrio, Guillermo Botella, Luis Piñuel, Manuel Prieto-Matías
PERCIVAL: Open-Source Posit RISC-V Core With Quire Capability. IEEE Trans. Emerg. Top. Comput. 10 (3) (2022)