×

Found 17 Software Packages (Results 1–17)

SKINNY

Software Authors:   Beierle, Christof; Jean, Jérémy; Kölbl, Stefan; Leander, Gregor; Moradi, Amir; Peyrin, Thomas; Sasaki, Yu; Sasdrich, Pascal; Sim, Siang Meng
Cited in: 37 Publications (2016–2022)
Related Software: SIMON; PRESENT; Midori; tweakey; PRINCE; SPECK; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

spongent

Software Authors:   Bogdanov, A., Knežević, M., Leander, G., Toz, D., Varıcı, K., Verbauwhede, I.
Cited in: 21 Publications (2011–2022)
Related Software: PRESENT; Keccak; KTANTAN; KATAN; Piccolo; Quark; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Quantum theory (81-XX)

Quark

Software Authors:   J.-P. Aumasson, L. Henzen, W. Meier, M. Naya-Plasencia
Cited in: 21 Publications (2010–2021)
Related Software: KTANTAN; PRESENT; KATAN; Grain; Trivium; spongent; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

ModelSim

Software Authors:   Mentor Graphics
Cited in: 7 Publications (2007–2015)
Related Software: Simulink; Matlab; BerkMin; Fuzzy Logic Toolbox; TGFF; LINPACK; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

DoReFa-Net

Software Authors:   Shuchang Zhou, Yuxin Wu, Zekun Ni, Xinyu Zhou, He Wen, Yuheng Zou
Cited in: 10 Publications (2018–2021)
Related Software: ImageNet; XNOR-Net; AlexNet; BinaryNet; BinaryConnect; CIFAR; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Yosys

Software Authors:   Wolf, C., Glaser, J.
Cited in: 4 Publications (2018–2021)
Related Software: z3; ABC; SymbiFlow; googletest; Ivy; CoSA; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

ASTRX/OBLX

Software Authors:   Ochotta, E.S. , Rutenbar, R.A., Carley, L.R
Cited in: 4 Publications (2007–2014)
Related Software: CGLS
Main Fields: Computer science (68-XX); Optics, electromagnetic theory (78-XX); Operations research, mathematical programming (90-XX)

MANTIS

Software Authors:   Sasaki, Yu; Sasdrich, Pascal Author Profile; Sim, Siang Meng
Cited in: 3 Publications (2016–2018)
Related Software: PRESENT; KATAN; PICARO; Midori; SIMON; Piccolo; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

CIPRNG

Software Authors:   Bakiri, M.; Couchot, J.F.; Guyeux, C
Cited in: 2 Publications (2018)
Related Software: TestU01; Diehard; A2U2; NIST Statistical Test Suite; SFMT; MersenneTwister
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

HDL Coder

Software Authors:   MathWorks
Cited in: 1 Publication (2015)
Related Software: Simulink; OOQP; fast_mpc; Xilinx; CVXGEN; CPLEX; …
Main Fields: Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

DARP

Software Authors:   de Sousa, José T.; Gonçalves, Fernando M.; Barreiro, Nuno; Moura, João
Cited in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Fixpt

Software Authors:   –
Cited in: 1 Publication (2007)
Related Software: IQmath; Simulink; Matlab
Main Fields: Linear and multilinear algebra; matrix theory (15-XX)

OpenPiton

Software Authors:   Jonathan Balkind, Michael McKeown, Yaosheng Fu, Tri Nguyen, Yanqi Zhou, Alexey Lavrov, Mohammad Shahrad, Adi Fuchs, Samuel Payne, Xiaohua Liang, Matthew Matl, David Wentzlaff
Cited in: 1 Publication (2022)
Related Software: Rocket Chip; Open2C; AXI
Main Fields: Computer science (68-XX)

RACE

Software Authors:   Ragel, Roshan; Ambrose, Angelo; Peddersen, Jorgen; Parameswaran, Sri
Cited in: 1 Publication (2010)
Related Software:
Main Fields: Computer science (68-XX)

SAND

Software Authors:   Chen, Shiyao; Fan, Yanhong; Sun, Ling; Fu, Yong; Zhou, Haibo; Li, Yongqing; Wang, Meiqin; Wang, Weijia; Guo, Chun
Cited in: 1 Publication (2022)
Related Software: CLEFIA; Remus; Romulus; CRAFT; RoadRunneR; QARMA; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Darkroom

Software Authors:   Hegarty, James; Brunhaver, John; DeVito, Zachary; Ragan-Kelley, Jonathan; Cohen, Noy; Bell, Steven; Vasilyev, Artem; Horowitz, Mark; Hanrahan, Pat
Cited in: 0 Publications
Related Software:
Main Fields:

RayCore

Software Authors:   Nah, Jae-Ho; Kwon, Hyuck-Joo; Kim, Dong-Seok; Jeong, Cheol-Ho; Park, Jinhong; Han, Tack-Don; Manocha, Dinesh; Park, Woo-Chan
Cited in: 0 Publications
Related Software:
Main Fields: