Piko: A Design Framework for Programmable Graphics Pipelines