Doctoral Training Partnership (DTP 2016-2017 University of Strathclyde) | Ramsay, Craig

Crockett, Louise (Principal Investigator)
Stewart, Robert (Co-investigator)
Ramsay, Craig (Research Co-investigator)

Electronic And Electrical Engineering

Project: Research Studentship - Internally Allocated

Status	Finished
Effective start/end date	1/10/17 → 18/01/24

Funding

EPSRC (Engineering and Physical Sciences Research Council): £14,986.00

2 Conference contribution book
1 Article

Low-cost, high-speed parallel FIR filters for RFSoC front-ends enabled by CλaSH
Ramsay, C., Crockett, L. H. & Stewart, R. W., 4 Mar 2022, 55th Asilomar Conference on Signals, Systems and Computers, ACSSC 2021. Matthews, M. B. (ed.). New York, NY: IEEE, p. 925-932 8 p. (Asilomar Conference on Signals, Systems, and Computers).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

Open Access
File
1 Citation (Scopus)

257 Downloads (Pure)
On applications of dependent types to parameterised digital signal processing circuits
Ramsay, C., Crockett, L. H. & Stewart, R. W., 13 Sept 2021, 2021 IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2021 - Proceedings. Piscataway, NJ: IEEE, p. 787-791 5 p. (IEEE International Midwest Symposium on Circuits and Systems (MWSCAS)).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

Open Access
File
1 Citation (Scopus)

64 Downloads (Pure)
Control and visualisation of a software defined radio system on the Xilinx RFSoC platform using the PYNQ framework
Goldsmith, J., Ramsay, C., Northcote, D., Barlee, K. W., Crockett, L. H. & Stewart, R. W., 13 Jul 2020, In: IEEE Access. 8, p. 129012-129031 20 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
24 Citations (Scopus)

747 Downloads (Pure)

Data for: "Low-cost, High-speed Parallel FIR Filters for RFSoC Front-Ends Enabled by CλaSH"
Ramsay, C. (Creator), Crockett, L. H. (Supervisor) & Stewart, R. (Supervisor), University of Strathclyde, 15 Nov 2021
DOI: 10.15129/a2c118f2-48a8-40d2-8896-89b9da71a4be, https://github.com/cramsay/conifer
Dataset
Data for "Toatie --- Functional Hardware Description with Dependent Types"
Ramsay, C. (Creator), Crockett, L. H. (Supervisor) & Stewart, R. (Supervisor), University of Strathclyde, 11 Jul 2023
DOI: 10.15129/fd83f191-2dc1-4839-adbb-684bac5ecd0c, https://github.com/cramsay/toatie/
Dataset
Data for: "On Applications of Dependent Types to Parameterised Digital Signal Processing Circuits"
Ramsay, C. (Creator), Crockett, L. H. (Supervisor) & Stewart, R. (Supervisor), University of Strathclyde, 19 Apr 2021
DOI: 10.15129/db040cb9-9e48-4823-8616-cbc0ace1b6cd, https://github.com/cramsay/idris_dsp_circuits
Dataset